MainCodeGen.output = true;
MainCodeGen.generatedCode = null;
MainCodeGen.isJavaCodeGeneration = true;
MainCodeGen.listOfExternJavaFiles = new LinkedList<String>();
CodeGen.mainCodeObject = new MainCode();
CodeGen.monitors = new HashMap<String, Code>();
CodeGen.structs = new HashMap<String, Code>();
CodeGen.usedVariableNames = new HashSet<String>();
CodeGen.mainPackageName = savedMainPackageName;