Bug 89031 [Undo/Redo] IWorkbench#getOperationSupport() marked experimental
IWorkbench#getOperationSupport() marked experimental
bundles/org.eclipse.core.commands/src/org/eclipse/core/commands/operations/DefaultOperationHistory.java
throw new ExecutionException(
						"While redoing the operation, an exception occurred", e); 
			}
		}
		
		
		if (status.isOK()) {
			redoList.remove(operation);
			
			 
			
			
			 
			
			if (operation.canUndo() && checkUndoLimit(operation)) {
				undoList.add(operation);
			}
			
			notifyRedone(operation);
		} else {
			notifyNotOK(operation);
			if (flushOnError && status.getSeverity() == IStatus.ERROR) {
				remove(operation);
			}
		}
		return status;
	}
	/**
	 * Perform the undo. All validity checks have already occurred.
	 *