docs: private void resetMenuItems(boolean enable) {
          for (int i = 0; i < severityItemList.length; ++i) {
              MenuItem menuItem = severityItemList[i];
              menuItem.setEnabled(enable);
              menuItem.setSelection(false);
          }
      }