if ( e.getLocalProperty( null, DesignElement.DISPLAY_NAME_PROP ) != null ) e.setProperty( DesignElement.DISPLAY_NAME_PROP, null );
if ( e.getLocalProperty( null, IDesignElementModel.DISPLAY_NAME_PROP ) != null ) e.setProperty( IDesignElementModel.DISPLAY_NAME_PROP, null );
	private void clearDisplayName( DesignElement e )	{		// clear text-property of displayName		if ( e.getLocalProperty( null, DesignElement.DISPLAY_NAME_PROP ) != null )			e.setProperty( DesignElement.DISPLAY_NAME_PROP, null );		// clear text-property of displayNameID		if ( e.getLocalProperty( null, DesignElement.DISPLAY_NAME_ID_PROP ) != null )			e.setProperty( DesignElement.DISPLAY_NAME_ID_PROP, null );	}