if ( library == null ) return;
	public void dropLibrary( LibraryHandle library ) throws SemanticException	{		LibraryCommand command = new LibraryCommand( module );		command.dropLibrary( (Library) library.getElement( ) );	}