if (m_super != null) { return m_super.getKeyProperties(); } else { return m_keys.iterator(); }
return Property.wrap(m_type.getKeyProperties()).iterator();
    public Iterator getKeyProperties() {        if (m_super != null) {            return m_super.getKeyProperties();        } else {            return m_keys.iterator();        }    }