Corrected main.java (it now compiles).