Deleted stuff by accident. Put it back in Gui.java