if (getControl().isDisposed()) { return; }
			public void run() {				if (fElements.length == 1) {					fElementsList.setSelection(new StructuredSelection(fElements[0]), true);					setMessage(DebugUIUtils.getResourceString(SELECT_ELEMENTS));					setPageComplete(true);				} else if (fElements.length > 0) {					setMessage(DebugUIUtils.getResourceString(SELECT_ELEMENTS));					setPageComplete(false);				} else {					// no elements to select					setErrorMessage(DebugUIUtils.getResourceString(SELECT_ERROR_ELEMENTS));					setPageComplete(false);				}				fPatternText.setFocus();			}