fViewer.refresh();
BusyIndicator.showWhile(fViewer.getControl().getDisplay(), new Runnable() { public void run() { fViewer.refresh(); } });
	private void setMemberFilters(int[] propertyKeys, boolean[] propertyValues, boolean refresh) {		if (propertyKeys.length == 0)			return;		Assert.isTrue(propertyKeys.length == propertyValues.length);				for (int i= 0; i < propertyKeys.length; i++) {			int filterProperty= propertyKeys[i];			boolean set= propertyValues[i];			if (set) {				fFilter.addFilter(filterProperty);			} else {				fFilter.removeFilter(filterProperty);			}			IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore();						for (int j= 0; j < fFilterActions.length; j++) {				int currProperty= fFilterActions[j].getFilterProperty();				if (currProperty == filterProperty) {					fFilterActions[j].setChecked(set);				}				store.setValue(getPreferenceKey(currProperty), hasMemberFilter(currProperty));			}		}		if (refresh) {			fViewer.getControl().setRedraw(false);			fViewer.refresh();			fViewer.getControl().setRedraw(true);		}	}