throw new LibraryException( library,
throw new LibraryException( library, new String[]{library .getNamespace( )},
	public void dropLibrary( Library library ) throws SemanticException	{		// library not found.		if ( !module.getLibraries( ).contains( library ) )		{			throw new LibraryException( library,					LibraryException.DESIGN_EXCEPTION_LIBRARY_NOT_FOUND );		}		// library has decendents in the current module. And check the inForce		// flag.		dealAllElementDecendents( library, SIMPLE_ACTION );		doDropLibrary( library );	}