tested TestMain.java