public void unloadLibrary(OperatorLibrary library){
  libraries.remove(library);
  for (  String operatorKey : library.getOperatorKeys()) {
    OperatorService.unregisterOperator(library.getDescription(operatorKey));
  }
  for (  OperatorLibraryListener listener : listeners) {
    listener.informLibraryUnloaded(library);
  }
}

public void unloadLibrary ( OperatorLibrary library ) { libraries . remove ( library ) ; for ( String operatorKey : library . getOperatorKeys ( ) ) { OperatorService . unregisterOperator ( library . getDescription ( operatorKey ) ) ; } for ( OperatorLibraryListener listener : listeners ) { listener . informLibraryUnloaded ( library ) ; } }
this method loads the given library and registers all contained operators .
