started = false;
	public final void stop() throws PluginException {	    final SecurityManager sm = System.getSecurityManager();	    if (sm != null) {	        sm.checkPermission(PluginSecurityConstants.STOP_PERM);	    }		if (started) {		    ((PluginDescriptorModel)descriptor).firePluginStop();			stopPlugin();			started = false;		}	}