Remove unused TLC4BGlobals.cleanup

src/main/java/de/tlc4b/TLC4B.java

@@ -194,7 +194,6 @@ public class TLC4B {
 		System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
 		TLC4BGlobals.resetGlobals();
 		TLC4BGlobals.setDeleteOnExit(deleteFiles);
-		// B2TLAGlobals.setCleanup(true);
 		TLC4B tlc4b = new TLC4B();
 		try {
 			tlc4b.process(args);
@@ -220,7 +219,6 @@ public class TLC4B {
 		System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
 		TLC4BGlobals.resetGlobals();
 		TLC4BGlobals.setDeleteOnExit(deleteFiles);
-		// B2TLAGlobals.setCleanup(true);
 		TLC4B tlc4b = new TLC4B();
 		tlc4b.buildDir = new File("temp/");
 

src/main/java/de/tlc4b/TLC4BGlobals.java

@@ -27,8 +27,6 @@ public class TLC4BGlobals {
 	private static boolean hideTLCConsoleOutput;
 	private static boolean createTraceFile;
 
-	private static boolean cleanup;
-
 	private static boolean forceTLCToEvalConstants;
 
 	private static int workers;
@@ -61,8 +59,6 @@ public class TLC4BGlobals {
 
 		proBconstantsSetup = false;
 
-		cleanup = true;
-
 		workers = 1;
 		dfid_initial_depth = -1; // option not selected
 
@@ -212,14 +208,6 @@ public class TLC4BGlobals {
 		return TLC4BGlobals.dfid_initial_depth;
 	}
 
-	public static boolean isCleanup() {
-		return cleanup;
-	}
-
-	public static void setCleanup(boolean cleanup) {
-		TLC4BGlobals.cleanup = cleanup;
-	}
-
 	public static boolean isProBconstantsSetup() {
 		return proBconstantsSetup;
 	}