module.manageId( newElement, true, true );
module.manageId( newElement, true );
	private void replace( DesignElement oldElement, DesignElement newElement )	{		// remove old one		slot.remove( oldElement );		if ( oldElement.getRoot( ) != null )			module.manageId( oldElement, false, false );		oldElement.setContainer( null, DesignElement.NO_SLOT );		// add new one		slot.insert( newElement, posn );		newElement.setContainer( container, slotID );		if ( newElement.getRoot( ) != null )			module.manageId( newElement, true, true );	}