Delete ProgLauncher.java