assert level == DesignElement.USER_LABEL || level == DesignElement.SHORT_LABEL || level == DesignElement.FULL_LABEL;  return getElement( ).getDisplayLabel( module, level );
return getDisplayLabel( DesignElement.SHORT_LABEL );
	public String getDisplayLabel( int level )	{		assert level == DesignElement.USER_LABEL				|| level == DesignElement.SHORT_LABEL				|| level == DesignElement.FULL_LABEL;		return getElement( ).getDisplayLabel( module, level );	}