run IntelliJ code cleanup

src/main/java/de/tla2b/TLA2B.java

src/main/java/de/tla2b/analysis/AbstractASTVisitor.java

src/main/java/de/tla2b/analysis/BOperation.java

src/main/java/de/tla2b/analysis/InstanceTransformation.java

src/main/java/de/tla2b/analysis/RecursiveDefinition.java

src/main/java/de/tla2b/analysis/RecursiveFunktion.java

src/main/java/de/tla2b/analysis/SpecAnalyser.java

src/main/java/de/tla2b/analysis/SymbolRenamer.java

src/main/java/de/tla2b/analysis/SymbolSorter.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/config/ConfigfileEvaluator.java

src/main/java/de/tla2b/config/ModuleOverrider.java

src/main/java/de/tla2b/config/TLCValueNode.java

src/main/java/de/tla2b/global/BBuildIns.java

src/main/java/de/tla2b/global/OperatorTypes.java

src/main/java/de/tla2b/global/Priorities.java

src/main/java/de/tla2b/global/TranslationGlobals.java

src/main/java/de/tla2b/output/Indentation.java

src/main/java/de/tla2b/output/TlaTypePrinter.java

src/main/java/de/tla2b/translation/BMacroHandler.java