Bug 105697 [Undo] - OperationHistoryEvent - cannot distinguish between canceled event or failed event
bundles/org.eclipse.core.commands/src/org/eclipse/core/commands/operations/DefaultOperationHistory.java
.print("OPERATIONHISTORY >>> ExecutionException while redoing ");  
					System.out.print(operation);
					System.out.println();
				}
				throw e;
			} catch (Exception e) {
				notifyNotOK(operation);
				if (DEBUG_OPERATION_HISTORY_UNEXPECTED) {
					System.out
							.print("OPERATIONHISTORY >>> Exception while redoing ");  
					System.out.print(operation);
					System.out.println();
				}
				throw new ExecutionException(
						"While redoing the operation, an exception occurred", e); 
			}
		}
		
		
		if (status.isOK()) {
			
			
			
			
			
			
			
			boolean addToUndoStack = operation.canUndo();
			synchronized (undoRedoHistoryLock) {
				redoList.remove(operation);