spotless formatting

Author: wadoon

key.format/src/main/java/de/uka/ilkd/key/nparser/format/KeyFileFormatter.java

@@ -262,7 +262,7 @@ private static void processHiddenTokens(@Nullable List<Token> tokens, Output out
     }
 
     static void processHiddenTokensAfterCurrent(Token currentToken, CommonTokenStream ts,
-                                                Output output) {
+            Output output) {
         // add hidden tokens after the current token (whitespace, comments etc.)
         List<Token> list = ts.getHiddenTokensToRight(currentToken.getTokenIndex());
         processHiddenTokens(list, output);
@@ -302,7 +302,7 @@ private static void processIndentationInMLComment(String text, Output output) {
                 // Watch out for empty line when removing the common indent
                 // weigl: "line.length() < minIndent" was required for Windows.
                 line =
-                        line.isEmpty() || line.length() < minIndent ? line : line.substring(minIndent);
+                    line.isEmpty() || line.length() < minIndent ? line : line.substring(minIndent);
             } else {
                 line = line.stripLeading();
             }
@@ -358,7 +358,7 @@ public Void visitTerminal(TerminalNode node) {
         }
 
         boolean isLBrace =
-                token == KeYLexer.LBRACE || token == KeYLexer.LPAREN || token == KeYLexer.LBRACKET;
+            token == KeYLexer.LBRACE || token == KeYLexer.LPAREN || token == KeYLexer.LBRACKET;
         if (isLBrace) {
             output.spaceBeforeNext();
         } else if (token == KeYLexer.RBRACE || token == KeYLexer.RPAREN
@@ -372,9 +372,9 @@ public Void visitTerminal(TerminalNode node) {
         }
 
         var noSpaceAround =
-                token == KeYLexer.COLON || token == KeYLexer.DOT || token == KeYLexer.DOUBLECOLON;
+            token == KeYLexer.COLON || token == KeYLexer.DOT || token == KeYLexer.DOUBLECOLON;
         var noSpaceBefore =
-                token == KeYLexer.SEMI || token == KeYLexer.COMMA || token == KeYLexer.LPAREN;
+            token == KeYLexer.SEMI || token == KeYLexer.COMMA || token == KeYLexer.LPAREN;
         if (noSpaceBefore || noSpaceAround) {
             output.noSpaceBeforeNext();
         }
@@ -408,7 +408,7 @@ private static int countNLs(String text) {
      * @param stream char stream
      * @return the formatted text
      * @throws de.uka.ilkd.key.util.parsing.SyntaxErrorReporter.ParserException if the given text is
-     *                                                                          not parser
+     *         not parser
      */
     public static String format(CharStream stream) {
         // weigl: Not necessary is handled within the lexer

key.format/src/main/java/de/uka/ilkd/key/nparser/format/KeyFormatFacade.java

@@ -2,27 +2,28 @@
  * KeY is licensed under the GNU General Public License Version 2
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.nparser.format;/*
- * This file is part of KeY - https://key-project.org
- * KeY is licensed under the GNU General Public License
- * Version 2
- * SPDX-License-Identifier: GPL-2.0-only
- */
+                                        * This file is part of KeY - https://key-project.org
+                                        * KeY is licensed under the GNU General Public License
+                                        * Version 2
+                                        * SPDX-License-Identifier: GPL-2.0-only
+                                        */
+
+import java.io.IOException;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.util.ArrayList;
+import java.util.List;
+import java.util.concurrent.Callable;
 
 import de.uka.ilkd.key.util.parsing.SyntaxErrorReporter;
+
 import org.antlr.v4.runtime.CharStreams;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
 import picocli.CommandLine;
 import picocli.CommandLine.Command;
 import picocli.CommandLine.Parameters;
 
-import java.io.IOException;
-import java.nio.file.Files;
-import java.nio.file.Path;
-import java.util.ArrayList;
-import java.util.List;
-import java.util.concurrent.Callable;
-
 import static de.uka.ilkd.key.nparser.format.KeyFileFormatter.format;
 
 /**
@@ -59,7 +60,7 @@ public static boolean checkFile(Path file) throws IOException {
      * <p>
      * {@code} output is not written when an error occurred.
      *
-     * @param input  source file
+     * @param input source file
      * @param output target file
      * @throws IOException file not found or not readable.
      */