code: public List<String> getRegisteredWidgetNames() {
  
          List<String> result = new ArrayList<String>(m_registeredWidgets.keySet());
          return result;
      }
docs: Returns an alphabetically sorted list of the class names of all configured XML widgets.<p>
  
  @return an alphabetically sorted list of the class names of all configured XML widgets