Fixed a version problem with GUI.java