Generated by
JDiff

Class javax.swing.undo.UndoManager

Documentation changed from old to new.