code: public Collection<String> getTopLevelItemNames() {
          List<String> names = new ArrayList<>();
          for (TopLevelItem j : items.values())
              names.add(j.getName());
          return names;
      }
docs: Gets the names of all the {@link TopLevelItem}s.