if (pattern != null && pattern.length() > 0) viewerFilter.setPattern(pattern); else viewerFilter.setPattern(null);
if (pattern != null) { int length= pattern.length(); if (length == 0) pattern= null; else if (pattern.charAt(length -1 ) != '*') pattern= pattern + '*'; } else pattern= null; viewerFilter.setPattern(pattern);
			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();			}