Bug 94400 [Undo] - After successful undo, should operation be disposed by framework if it cannot be redone?
bundles/org.eclipse.core.commands/src/org/eclipse/core/commands/operations/DefaultOperationHistory.java
IUndoContext context = (IUndoContext) allContexts.get(i);
					forceUndoLimit(context, getLimit(context));
				}
			}
			
			internalRemove(operation);
			for (int i = 0; i < replacements.length; i++)
				notifyAdd(replacements[i]);
			
		} else {
			synchronized (undoRedoHistoryKey) {
				index = redoList.indexOf(operation);
				if (index == -1)
					return;
				ArrayList allContexts = new ArrayList(replacements.length);
				redoList.remove(operation);
				
				for (int i = 0; i < replacements.length; i++) {
					IUndoContext[] opContexts = replacements[i].getContexts();
					for (int j = 0; j < opContexts.length; j++) {
						allContexts.add(opContexts[j]);
					}
					redoList.add(index, replacements[i]);
					
				}
				
				
				for (int i = 0; i < allContexts.size(); i++) {
					IUndoContext context = (IUndoContext) allContexts.get(i);
					forceRedoLimit(context, getLimit(context));