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