public void widgetSelected(SelectionEvent e) { setSearchJRE(fSearchJRE.getSelection());
public void widgetSelected(SelectionEvent event) { if (getSearchFor() == fInitialData.getSearchFor()) fJavaElement= fInitialData.getJavaElement(); else fJavaElement= null; setLimitTo(getSearchFor(), getLimitTo()); doPatternModified();
			public void widgetSelected(SelectionEvent e) {				setSearchJRE(fSearchJRE.getSelection());			}