docs: void setSourceTab(String title, @CheckForNull BugInstance bug) {
          JComponent label = mainFrame.getGuiLayout().getSourceViewComponent();
          if (label != null) {
              removeLink(label);
          }
          mainFrame.getGuiLayout().setSourceTitle(title);
      }