docs: @Override
      public void setUserPermission(String userName, List<Permission> permissions)
              throws ServiceException {
          if(! isStarted){
              ServiceDirectoryError error = new ServiceDirectoryError(ErrorCode.SERVICE_DIRECTORY_MANAGER_FACTORY_CLOSED);
              throw new ServiceException(error);
          }
          if(userName == null || userName.isEmpty()){
              throw new IllegalArgumentException("The user name can not be empty.");
          }
  
          getRegistrationService().setUserPermission(userName, permissions);
      }