docs: void syncBugInformation() {
          boolean prevProjectChanged = projectChanged;
          if (mainFrameTree.getCurrentSelectedBugLeaf() != null) {
              BugInstance bug = mainFrameTree.getCurrentSelectedBugLeaf().getBug();
              displayer.displaySource(bug, bug.getPrimarySourceLineAnnotation());
              updateSummaryTab(mainFrameTree.getCurrentSelectedBugLeaf());
          } else if (currentSelectedBugAspects != null) {
              displayer.displaySource(null, null);
              clearSummaryTab();
          } else {
              displayer.displaySource(null, null);
              clearSummaryTab();
          }
          setProjectChanged(prevProjectChanged);
      }