257258259260261262263264265266267
notifyLaunchConfigurationsChanged(); } }; manager.addLaunchConfigurationListener(launchConfigurationListener); launchesListener = new ILaunchesListener2(){ public void launchesRemoved(ILaunch[] launches) {