docs: public Component bugSummaryComponent(String str, BugInstance bug) {
          JLabel label = new JLabel();
          label.setFont(label.getFont().deriveFont(Driver.getFontSize()));
          label.setFont(label.getFont().deriveFont(Font.PLAIN));
          label.setForeground(Color.BLACK);
  
          label.setText(str);
  
          SourceLineAnnotation link = bug.getPrimarySourceLineAnnotation();
          if (link != null) {
              label.addMouseListener(new BugSummaryMouseListener(bug, label, link));
          }
  
          return label;
      }