Fix Main.java to return probably.