docs: public Collection<String> getJobNames() {
          List<String> names = new ArrayList<>();
          for (Job j : allItems(Job.class))
              names.add(j.getFullName());
          names.sort(String.CASE_INSENSITIVE_ORDER);
          return names;
      }