JavaTXCompilerInJavaTX/resources/packageTest/Pair2.jav