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