docs: public Set<BugPattern> getReportedBugPatterns() {
          Set<BugPattern> result = new TreeSet<>();
          StringTokenizer tok = new StringTokenizer(reports, ",");
          while (tok.hasMoreTokens()) {
              String type = tok.nextToken();
              BugPattern bugPattern = DetectorFactoryCollection.instance().lookupBugPattern(type);
              if (bugPattern != null) {
                  result.add(bugPattern);
              }
          }
          return result;
      }