if (plugin.getPlugin()==getDebugPlugin()) DebugStopMenuItem.stopDebugging();
if (plugin.getPlugin() == getDebugPlugin()) stopDebugging();
public void pluginRemoved(PluginObject plugin){	if (plugin.getPlugin() instanceof DebugPlugin)	{		if (plugin.getPlugin()==getDebugPlugin())			DebugStopMenuItem.stopDebugging();				list.remove(plugin);		plugin.removePropertyChangeListener(this);	}}