.getPropertyDefn( Module.INCLUDE_LIBRARIES_PROP );
.getPropertyDefn( Module.LIBRARIES_PROP );
	public void shiftLibrary( Library library, int newPosn )			throws SemanticException	{		List libraries = module.getLibraries( );		assert !libraries.isEmpty( );		if ( !libraries.contains( library ) )			throw new LibraryException( library,					LibraryException.DESIGN_EXCEPTION_LIBRARY_NOT_FOUND );		// Move the new position so that it is in range.		int oldPosn = libraries.indexOf( library );		int adjustedNewPosn = checkAndAdjustPosition( oldPosn, newPosn,				libraries.size( ) );		if ( oldPosn == adjustedNewPosn )			return;		getActivityStack( ).startTrans( );		ShiftLibraryRecord record = new ShiftLibraryRecord( module, oldPosn,				adjustedNewPosn );		getActivityStack( ).execute( record );		PropertyCommand cmd = new PropertyCommand( module, module );		ElementPropertyDefn propDefn = module				.getPropertyDefn( Module.INCLUDE_LIBRARIES_PROP );		cmd.moveItem( new CachedMemberRef( propDefn ), oldPosn, newPosn );		getActivityStack( ).commit( );	}