/**
  * Unsets Device Management service.
  *
  * @param deviceManagementService An Instance of DeviceManagementService
  */
 protected void unsetDeviceManagementService(DeviceManagementService deviceManagementService) {
   if (log.isDebugEnabled()) {
     log.debug(
         "Un setting Device Management Service Provider : '"
             + deviceManagementService.getType()
             + "'");
   }
   for (PluginInitializationListener listener : listeners) {
     listener.unregisterDeviceManagementService(deviceManagementService);
   }
 }
 /**
  * Sets Device Manager service.
  *
  * @param deviceManagementService An instance of DeviceManagementService
  */
 protected void setDeviceManagementService(DeviceManagementService deviceManagementService) {
   if (log.isDebugEnabled()) {
     log.debug(
         "Setting Device Management Service Provider: '"
             + deviceManagementService.getType()
             + "'");
   }
   synchronized (LOCK) {
     deviceManagers.add(deviceManagementService);
     for (PluginInitializationListener listener : listeners) {
       listener.registerDeviceManagementService(deviceManagementService);
     }
   }
 }