docs: private void syncMenu() {
          if (bugInstance != null) {
              BugProperty severityProperty = bugInstance.lookupProperty(BugProperty.SEVERITY);
              if (severityProperty != null) {
                  try {
                      int severity = severityProperty.getValueAsInt();
                      if (severity > 0 && severity <= severityItemList.length) {
                          selectSeverity(severity);
                          return;
                      }
                  } catch (NumberFormatException e) {
                      // Ignore: we'll allow the user to select a valid severity
                  }
              }
  
              // We didn't get a valid severity from the BugInstance.
              // So, leave the menu items enabled but cleared, so
              // the user can select a severity.
              resetMenuItems(true);
          } else {
              // No BugInstance - disable all menu items.
              resetMenuItems(false);
          }
      }