Update MiniJavaCodeGenerator.java