doSyntaxConvertTest(TESTS_ROOT, "TestLifter.str", "TestLifter.java"); doCompileRunVerifyTest(TESTS_ROOT + "lifter/",
String root = TESTS_ROOT + "lifter/"; doSyntaxConvertTest(root, "TestLifter.str", "TestLifter.java"); doCompileRunVerifyTest(root,
    public void testLifter() {        doSyntaxConvertTest(TESTS_ROOT, "TestLifter.str", "TestLifter.java");	doCompileRunVerifyTest(TESTS_ROOT + "lifter/",			       "TestLifter.java",			       "TestLifter.out",			       0,8);	    }