Renamed launch configuration (for testing GitHub POST-RECEIVE hook to
Jenkins)