return extDefn.getProperties( );
List props = extDefn.getProperties( ); DesignElement e = this.element; while ( e != null ) { if ( e.getLocalUserProperties( ) != null ) props.addAll( e.getLocalUserProperties( ) ); e = e.getExtendsElement( ); } return props;
	public List getPropertyDefns( )	{		ExtensionElementDefn extDefn = getExtDefn( );		// If no extension element definition exists, just return the list of		// property definition on this extension element definition.		if ( extDefn != null && extDefn.getProperties( ) != null )		{			return extDefn.getProperties( );		}		return Collections.EMPTY_LIST;	}