} else { setMessage(DebugUIUtils.getResourceString(SELECT_ELEMENTS)); }
}
			public void modifyText(ModifyEvent e) {				filter.setPattern(((Text) (e.widget)).getText());				fElementsList.refresh();				if (fFilteredElements.length == 1) {					fElementsList.setSelection(new StructuredSelection(fFilteredElements[0]), true);					setMessage(null);					setPageComplete(true);				} else {					fElementsList.setSelection(null);					// this should get done in the selection changed callback -  but it does not work					if (fFilteredElements.length == 0) {						setErrorMessage(DebugUIUtils.getResourceString(SELECT_ERROR_ELEMENTS));					} else {						setMessage(DebugUIUtils.getResourceString(SELECT_ELEMENTS));					}					setPageComplete(false);				}			}