updateCaseSensitiveCheckbox();
doPatternModified();
			public void widgetSelected(SelectionEvent event) {				if (getSearchFor() == fInitialData.getSearchFor())					fJavaElement= fInitialData.getJavaElement();				else					fJavaElement= null;				setLimitTo(getSearchFor());				updateCaseSensitiveCheckbox();			}