docs: private void fillMenu() {
          isBugItem = new MenuItem(menu, SWT.RADIO);
          isBugItem.setText("Bug");
          notBugItem = new MenuItem(menu, SWT.RADIO);
          notBugItem.setText("Not Bug");
  
          isBugItem.addSelectionListener(new SelectionAdapter() {
              /*
               * (non-Javadoc)
               *
               * @see
               * org.eclipse.swt.events.SelectionAdapter#widgetSelected(org.eclipse
               * .swt.events.SelectionEvent)
               */
              @Override
              public void widgetSelected(SelectionEvent e) {
                  if (bugInstance != null) {
                      classifyWarning(bugInstance, true);
                  }
              }
          });
  
          notBugItem.addSelectionListener(new SelectionAdapter() {
              /*
               * (non-Javadoc)
               *
               * @see
               * org.eclipse.swt.events.SelectionAdapter#widgetSelected(org.eclipse
               * .swt.events.SelectionEvent)
               */
              @Override
              public void widgetSelected(SelectionEvent e) {
                  if (bugInstance != null) {
                      classifyWarning(bugInstance, false);
                  }
              }
          });
  
          menu.addMenuListener(new MenuAdapter() {
              @Override
              public void menuShown(MenuEvent e) {
                  // Before showing the menu, sync its contents
                  // with the current BugInstance (if any)
                  if (DEBUG) {
                      System.out.println("Synchronizing menu!");
                  }
                  syncMenu();
              }
          });
      }