if ( slotID == Library.THEMES_SLOT )
if ( slotID == ILibraryModel.THEMES_SLOT )
	public void dropLibraryAndBreakExtends( Library library )			throws SemanticException	{		// library not found.		if ( !module.getLibraries( ).contains( library ) )		{			throw new LibraryException( library, new String[]{library					.getNamespace( )},					LibraryException.DESIGN_EXCEPTION_LIBRARY_NOT_FOUND );		}		ActivityStack stack = getActivityStack( );		stack.startTrans( );		try		{			for ( int slotID = 0; slotID < library.getDefn( ).getSlotCount( ); slotID++ )			{				if ( slotID == Library.THEMES_SLOT )					continue;				for ( Iterator iter = library.getSlot( slotID ).iterator( ); iter						.hasNext( ); )				{					DesignElement element = (DesignElement) iter.next( );					List derived = element.getDerived( );					for ( int i = 0; i < derived.size( ); i++ )					{						DesignElement child = (DesignElement) derived.get( i );						if ( child.getRoot( ) == getModule( ) )						{							ExtendsCommand command = new ExtendsCommand(									getModule( ), child );							command.localizeElement( );						}					}				}			}			LibraryRecord record = new LibraryRecord( module, library, false );			getActivityStack( ).execute( record );			// Remove the include library structure.			String libraryFileName = library.getFileName( );			assert libraryFileName != null;			removeIncludeLibrary( libraryFileName, library.getNamespace( ) );		}		catch ( SemanticException ex )		{			stack.rollback( );			throw ex;		}		getActivityStack( ).commit( );	}