ServerGUI.java name change