Java-Bytecode und X10