ctrl.setRedraw(false);
			public void run() {				// 1GF87WR: ITPUI:ALL - SWTEx + NPE closing a workbench window.				Control ctrl= fViewer.getControl();				if (ctrl != null && !ctrl.isDisposed()) {					ctrl.setRedraw(false);					fViewer.remove(element);					ctrl.setRedraw(true);				}			}