apply spotless

Author: wadoon

gradle/wrapper/gradle-wrapper.properties

@@ -1,5 +1,5 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.7-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.12-bin.zip
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists

key.ui/src/main/java/de/uka/ilkd/key/gui/StrategySelectionView.java

@@ -25,7 +25,6 @@
 import de.uka.ilkd.key.ui.core.KeYMediator;
 import de.uka.ilkd.key.ui.core.KeYSelectionEvent;
 import de.uka.ilkd.key.ui.core.KeYSelectionListener;
-import de.uka.ilkd.key.util.Triple;
 
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;