public void stop() throws PluginException { stopDevices(); InitialNaming.unbind(NAME);
public void stop(Device device) throws DeviceNotFoundException, DriverException {  getDevice(device.getId());  if (device.isStarted()) { BootLog.debug("Starting " + device.getId()); device.stop(false); BootLog.debug("Stopped " + device.getId()); }
    public void stop() throws PluginException {        stopDevices();        InitialNaming.unbind(NAME);    }