docs: public @Nonnull
      String getShortMessage(String key) {
          BugPattern bugPattern =  DetectorFactoryCollection.instance().lookupBugPattern(key);
          if (bugPattern == null) {
              return L10N.getLocalString("err.missing_pattern", "Error: missing bug pattern for key") + " " + key;
          }
          return bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription();
      }