public Collection getProperties() { ArrayList result = new ArrayList(); getProperties(result); return result;
private void getProperties(Collection result) { if (m_super != null) { m_super.getProperties(result); } result.addAll(m_properties);
    public Collection getProperties() {        ArrayList result = new ArrayList();        getProperties(result);        return result;    }