docs: private void addBugCodes(Set<String> bugCodeSet) {
          Element root = document.getRootElement();
          for (String bugCode : bugCodeSet) {
              Element element = root.addElement("BugCode");
              element.addAttribute("abbrev", bugCode);
              Element description = element.addElement("Description");
              description.setText(I18N.instance().getBugTypeDescription(bugCode));
          }
      }