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
} catch (OperationCanceledException e) {
				status = Status.CANCEL_STATUS;
			} catch (ExecutionException e) {
				notifyNotOK(operation);
				if (DEBUG_OPERATION_HISTORY_UNEXPECTED) {
					System.out
							.print("OPERATIONHISTORY >>> ExecutionException while undoing ");  
					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 undoing ");  
					System.out.print(operation);
					System.out.println();
				}
				throw new ExecutionException(
						"While undoing the operation, an exception occurred", e); 
			}
		}
		
		
		if (status.isOK()) {