bugs fixed at Java6ByteCodeGenerator