docs: public String getBugCategoryDescription(String category) {
          BugCategory bc = DetectorFactoryCollection.instance().getBugCategory(category);
          return (bc != null ? bc.getShortDescription() : category);
      }