docs: private void fillMenu() {
          // Create a selection listener to handle when the
          // user selects a warning severity.
          SelectionListener menuItemSelectionListener = new SelectionAdapter() {
              /*
               * (non-Javadoc)
               *
               * @see
               * org.eclipse.swt.events.SelectionAdapter#widgetSelected(org.eclipse
               * .swt.events.SelectionEvent)
               */
              @Override
              public void widgetSelected(SelectionEvent e) {
                  Widget w = e.widget;
                  int index;
                  for (index = 0; index < severityItemList.length; ++index) {
                      if (w == severityItemList[index]) {
                          break;
                      }
                  }
  
                  if (index < severityItemList.length) {
                      if (bugInstance != null) {
                          bugInstance.setProperty(BugProperty.SEVERITY, String.valueOf(index + 1));
                      }
                  }
              }
          };
  
          severityItemList = new MenuItem[SEVERITY_LABEL_LIST.length];
          for (int i = 0; i < SEVERITY_LABEL_LIST.length; ++i) {
              MenuItem menuItem = new MenuItem(menu, SWT.RADIO);
              menuItem.setText(SEVERITY_LABEL_LIST[i]);
              menuItem.addSelectionListener(menuItemSelectionListener);
  
              severityItemList[i] = menuItem;
          }
  
          // Keep menu in sync with current BugInstance.
          menu.addMenuListener(new MenuAdapter() {
              /*
               * (non-Javadoc)
               *
               * @see
               * org.eclipse.swt.events.MenuAdapter#menuShown(org.eclipse.swt.
               * events.MenuEvent)
               */
              @Override
              public void menuShown(MenuEvent e) {
                  syncMenu();
              }
          });
      }