Update src/gui/Launch.java