Platform.run(new ISafeRunnable() {
SafeRunner.run(new ISafeRunnable() {
	private void fireRedoStackChanged() {		if (fListeners == null)			return;		Object[] listeners= fListeners.getListeners();		for (int i= 0; i < listeners.length; i++) {			final IUndoManagerListener listener= (IUndoManagerListener)listeners[i];			Platform.run(new ISafeRunnable() {				public void run() throws Exception {					listener.redoStackChanged(UndoManager2.this);				}				public void handleException(Throwable exception) {					RefactoringCorePlugin.log(exception);				}			});		}	}