@Override
      protected String getElementText(Object element) {
        if (element instanceof Module) {
          return ((Module)element).getName();
        }
        else if (element == null) {
          return noModule;
        }
        return super.getElementText(element);
      }
@Override
      protected String getElementText(Object element)