mgr.add(fFilterActions[i]);
viewMenu.appendToGroup(filteringGroup, fFilterActions[i]);
	private void addFilterActions(IMenuManager viewMenu) {		String filteringGroup= "Filtering"; //$NON-NLS-1$		viewMenu.add(new Separator(filteringGroup));		MenuManager mgr= new MenuManager(SearchMessages.getString("JavaSearchResultPage.filter.submenu")); //$NON-NLS-1$		for (int i= 0; i < fFilterActions.length; i++) {			mgr.add(fFilterActions[i]);		}				viewMenu.appendToGroup(filteringGroup, mgr);	}