testing in StraightJavaTest