for (IUndoContext context : this.getContexts()) { if (context != null) { undoHistory.addAll(Arrays.asList(history.getUndoHistory(context)));
for (IUndoContext context : this.getContexts()) { if (context != null) { undoHistory.addAll(Arrays.asList(history.getUndoHistory(context)));