fTreeViewer.getControl().setRedraw(true);
			public void modifyText(ModifyEvent e) {				String pattern= fFilterText.getText();				if (pattern != null && pattern.length() > 0)					viewerFilter.setPattern(pattern);				else					viewerFilter.setPattern(null);				fStringMatcher= viewerFilter.getMatcher();				fTreeViewer.refresh();				fTreeViewer.expandAll();				selectFirstMatch();			}