new AnnotationHistoryManager() Methods redo() Reapplies the most recent annotation change that was undone undo() Undoes the most recent annotation change