if (!isDisposed()) fFailureTrace.setInformation(info);
if (isDisposed()) return; firePropertyChange(IWorkbenchPart.PROP_TITLE);
			public void run() {				if (!isDisposed())					fFailureTrace.setInformation(info);			}