JavaMop Translation/Execution