x86 -> java bytecode?