format

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediatePresentationProofFileParser.java

@@ -143,15 +143,15 @@ public void beginExpr(ProofElementID eid, String str) {
                 tacletInfo.ifDirectFormulaList = tacletInfo.ifDirectFormulaList.append(str);
             }
             case KeY_USER -> { // UserLog
-                if(proof != null) {
+                if (proof != null) {
                     if (proof.userLog == null) {
                         proof.userLog = new ArrayList<>();
                     }
                     proof.userLog.add(str);
                 }
             }
             case KeY_VERSION -> { // Version log
-                if(proof != null) {
+                if (proof != null) {
                     if (proof.keyVersionLog == null) {
                         proof.keyVersionLog = new ArrayList<>();
                     }

key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediateProofReplayer.java

@@ -441,11 +441,12 @@ public Collection<Throwable> getErrors() {
      *
      * @param proof the current proof to operate on
      * @param currInterm The intermediate taclet application to create a "real" application for.
-     * @param currGoal   The goal on which to apply the taclet app.
+     * @param currGoal The goal on which to apply the taclet app.
      * @return The taclet application corresponding to the supplied intermediate representation.
      * @throws TacletAppConstructionException In case of an error during construction.
      */
-    public static TacletApp constructTacletApp(Proof proof, TacletAppIntermediate currInterm, Goal currGoal)
+    public static TacletApp constructTacletApp(Proof proof, TacletAppIntermediate currInterm,
+            Goal currGoal)
             throws TacletAppConstructionException {
 
         final String tacletName = currInterm.getRuleName();

key.ui/src/main/java/de/uka/ilkd/key/gui/proofreplay/ProofReapplicationExtension.java

@@ -3,21 +3,21 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.gui.proofreplay;
 
+import java.util.Collection;
+import java.util.List;
+
 import de.uka.ilkd.key.core.KeYMediator;
 import de.uka.ilkd.key.gui.MainWindow;
 import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension;
 import de.uka.ilkd.key.gui.extension.api.TabPanel;
+
 import org.jspecify.annotations.NullMarked;
 import org.jspecify.annotations.Nullable;
 
-import java.util.Collection;
-import java.util.List;
-
 @KeYGuiExtension.Info(name = "Proof Replayer", experimental = false, optional = true,
-        description = """
-                UI to help replaying stored proofs on new KeY versions. 
-                """
-)
+    description = """
+            UI to help replaying stored proofs on new KeY versions.
+            """)
 @NullMarked
 public class ProofReapplicationExtension implements KeYGuiExtension, KeYGuiExtension.LeftPanel {
     private @Nullable ProofReapplicationView view;
@@ -29,4 +29,4 @@ public Collection<TabPanel> getPanels(MainWindow window, KeYMediator mediator) {
         }
         return List.of(view);
     }
-}
+}