Delete TomcatLauncher.java~