Update DefinerGUI.java