if (fOldSelection != fCurrentSelection) { fItems[fOldSelection].setSelection(false); }
fItems[fCurrentSelection].setSelection(true);
				public void fill(Menu menu, int index) {					MenuItem mi= new MenuItem(menu, SWT.CHECK, index);					ImageDescriptor d= fActions[j].getImageDescriptor();					mi.setImage(JavaPlugin.getImageDescriptorRegistry().get(d));					fItems[j]= mi;					mi.setText(fActions[j].getText());					mi.setSelection(fCurrentSelection == j);					mi.addSelectionListener(new SelectionAdapter() {						public void widgetSelected(SelectionEvent e) {							fActions[j].run();							fOldSelection= fCurrentSelection;							fCurrentSelection= j;							if (fOldSelection != fCurrentSelection) {								fItems[fOldSelection].setSelection(false);							}						}					});				}