formatted main.java