code: public String getExtProperty(String propName) {
          if (m_extProperties == null) {
              return null;
          }
          return m_extProperties.get(propName);
      }
docs: Gets an extended property value, given the property name.
  
  @return The property value.