diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index 5c992316bf0fcaa32e4e5982767ef56c7f8d07d3..04b12b7d1d1e9ffc177d7a04387dc443f72c0e0b 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -145,7 +145,7 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
 			specAnalyser.invariants.add(definitions.get("IndInv"));
 			ClausefDetected("IndInv", "INVARIANTS");
 		} else {
-		    System.out.println("No default Invariant detected");
+			System.out.println("No default Invariant detected");
 		}
 		// TODO are constant in the right order
 
diff --git a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
index ee9587d69a287cf24a72cd0b07f7022052baee05..f1e23ea0805d88be8f3f1d83dee7f577fd0fa0ea 100644
--- a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
@@ -66,7 +66,7 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
 			// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx, etc.
 			// DebugUtils.printDebugMsg("Checking definition: " + defName);
 			if (Utils.isProBSpecialDefinitionName(defName)) {
-			    DebugUtils.printMsg("ProB special definition: " + defName);
+				DebugUtils.printMsg("ProB special definition: " + defName);
 				usedDefinitions.add(opDef);
 			}
 		}
diff --git a/src/main/java/de/tla2b/types/TupleOrFunction.java b/src/main/java/de/tla2b/types/TupleOrFunction.java
index a898ac680ced0f3231330a59857da48b53051ca4..37945387beb84c1691835080f49ac1ed3292241b 100644
--- a/src/main/java/de/tla2b/types/TupleOrFunction.java
+++ b/src/main/java/de/tla2b/types/TupleOrFunction.java
@@ -162,8 +162,7 @@ public class TupleOrFunction extends AbstractHasFollowers {
 		return false;
 	}
 
-	private static boolean isTupleOrFunction(TupleOrFunction t1,
-	                                         TupleOrFunction t2) {
+	private static boolean isTupleOrFunction(TupleOrFunction t1, TupleOrFunction t2) {
 		List<TLAType> typeList = new ArrayList<>();
 		typeList.addAll(t1.types.values());
 		typeList.addAll(t2.types.values());
diff --git a/src/main/java/de/tla2b/util/DebugUtils.java b/src/main/java/de/tla2b/util/DebugUtils.java
index 7f78432aa55219c4aafffb5352d0b0dade532833..5d951a1e690a645ac99803b5aa358a5e4e4b0e04 100644
--- a/src/main/java/de/tla2b/util/DebugUtils.java
+++ b/src/main/java/de/tla2b/util/DebugUtils.java
@@ -1,25 +1,25 @@
 package de.tla2b.util;
 
 public class DebugUtils {
-    private static boolean debugOn;
-    
+	private static boolean debugOn;
+
 	public static void setDebugMode(boolean newDebugOn) {
 		debugOn = newDebugOn;
 	}
 
 	public static void printVeryVerboseMsg(String Msg) {
-	    // TODO: turn on using -vv flag
+		// TODO: turn on using -vv flag
 		// System.out.println(Msg);
 	}
 
 	public static void printDebugMsg(String Msg) {
 		if(debugOn) {
-		   System.out.println(Msg);
+			System.out.println(Msg);
 		}
 	}
 
 	public static void printMsg(String Msg) {
-	    // TODO: turn off using silent flag
+		// TODO: turn off using silent flag
 		System.out.println(Msg);
 	}
 
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 86993b0bc448e3b01fe9b6b322426e9518d2a195..4063ffde418a98d5e8b23e4d56c744ff0dea7a0a 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -1764,9 +1764,7 @@ public class BAstCreator extends BuiltInOPs
 		return list;
 	}
 
-	private PExpression evalExceptValue(PExpression prefix, LinkedList<ExprOrOpArgNode> seqList, TLAType tlaType,
-	                                    ExprOrOpArgNode val) {
-
+	private PExpression evalExceptValue(PExpression prefix, LinkedList<ExprOrOpArgNode> seqList, TLAType tlaType, ExprOrOpArgNode val) {
 		ExprOrOpArgNode head = seqList.poll();
 		if (head == null) {
 			return visitExprOrOpArgNodeExpression(val);
diff --git a/src/main/java/de/tla2bAst/ExpressionTranslator.java b/src/main/java/de/tla2bAst/ExpressionTranslator.java
index 70df795009c7670deaaff2c0df87ade88adea6bd..f22e254420558492fa94d87cecbf30ad8a920abb 100644
--- a/src/main/java/de/tla2bAst/ExpressionTranslator.java
+++ b/src/main/java/de/tla2bAst/ExpressionTranslator.java
@@ -197,8 +197,7 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
 		return n;
 	}
 
-	private SpecObj parseModuleWithoutSemanticAnalyse(String moduleFileName,
-	                                                  String module) {
+	private SpecObj parseModuleWithoutSemanticAnalyse(String moduleFileName, String module) {
 		SpecObj spec = new SpecObj(moduleFileName, null);
 
 		try {