bugs fixed at JavaByteCodeGenerator