code: public String[] getClassnames(Class superclass) {
      List<String>	list;
  
      list = m_ListNames.get(superclass.getName());
      if (list == null)
        return new String[0];
      else
        return list.toArray(new String[list.size()]);
    }
docs: Returns all the classnames that were found for this superclass.
  
  @param superclass	the superclass to return the derived classes for
  @return		the classnames of the derived classes