updated asm gen

Author: isaacmaffeis

asmetal2java_codegen/src/org/asmeta/asm2java/main/JavaASMGenerator.xtend

@@ -44,7 +44,7 @@ public class MainClass {
 	// the generator for the code
 	static private JavaGenerator jGenerator = new JavaGenerator();
 	static private JavaExeGenerator jGeneratorExe = new JavaExeGenerator();
-	static private JavaASMGenerator2 jGeneratorASM = new JavaASMGenerator2();
+	static private JavaASMGenerator jGeneratorASM = new JavaASMGenerator();
 
 
 	// default translator options

asmetal2java_codegen/src/org/asmeta/asm2java/main/MainClass.java

@@ -23,7 +23,7 @@
 import org.junit.Assert;
 
 @SuppressWarnings("all")
-public class JavaASMGenerator2 extends AsmToJavaGenerator {
+public class JavaASMGenerator extends AsmToJavaGenerator {
   public void compileAndWrite(final Asm asm, final String writerPath, final TranslatorOptions userOptions) {
     Assert.assertTrue(writerPath.endsWith(".java"));
     this.compileAndWrite(asm, writerPath, "JAVA", userOptions);