fix testmain.java