tidy up GUI.java