changes to the GUI.java