reviewing JavaByteCodeGenerator.java