fOldSelection= fCurrentSelection;
fItems[fCurrentSelection].setSelection(false);
	protected void addActions(IMenuManager viewMenu) {		viewMenu.add(new Separator());		fItems= new MenuItem[fActions.length];		for (int i= 0; i < fActions.length; i++) {			final int j= i;			viewMenu.add(new ContributionItem() {				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);							}						}					});				}				public boolean isDynamic() {					return false;				}			});		}	}