}
				public void run() {					Control ctrl= fViewer.getControl();					if (ctrl != null && !ctrl.isDisposed()) {						// 19431						// if the item is already visible then select it						if (fViewer.testFindItem(addedElement) != null)							fViewer.setSelection(selection);					}				}