343344345346347348349350351352353
if (rteAnnotation.undo().length > 0) { Undo undoAnnotation = rteAnnotation.undo()[0]; List<String> features = new ArrayList<String>(); int maxUndoSteps = undoAnnotation.maxUndoSteps(); if (undoAnnotation.undo()) { features.add("undo"); }
342343344345346347348349350351352