@Override
	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)			 */			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)			 */			public void menuShown(MenuEvent e) {				syncMenu();			}		});	}