docs: private void syncMenu() {
          if (bugInstance != null) {
              isBugItem.setEnabled(true);
              notBugItem.setEnabled(true);
  
              BugProperty isBugProperty = bugInstance.lookupProperty(BugProperty.IS_BUG);
              if (isBugProperty == null) {
                  // Unclassified
                  isBugItem.setSelection(false);
                  notBugItem.setSelection(false);
              } else {
                  boolean isBug = isBugProperty.getValueAsBoolean();
                  isBugItem.setSelection(isBug);
                  notBugItem.setSelection(!isBug);
              }
          } else {
              // No bug instance, so uncheck and disable the menu items
              if (DEBUG) {
                  System.out.println("No bug instance found, disabling menu items");
              }
              isBugItem.setEnabled(false);
              notBugItem.setEnabled(false);
              isBugItem.setSelection(false);
              notBugItem.setSelection(false);
          }
      }