@Override public void launchRemoved(ILaunch launch) { if (this.equals(launch)) { removeEventListener(); getLaunchManager().removeLaunchListener(this); getLaunchManager().removeLaunchConfigurationListener(this); } }
/** * Notifies listeners that this launch has terminated. * Has no effect of this launch has not yet been * properly created/initialized. */ protected void fireTerminate() { if (!fSuppressChange) { ((LaunchManager)getLaunchManager()).fireUpdate(this, LaunchManager.TERMINATE); ((LaunchManager)getLaunchManager()).fireUpdate(new ILaunch[] {this}, LaunchManager.TERMINATE); } removeEventListener(); }