"Java bytecode"@cs . "java bytecode"@cs .