Generated by
JDiff

Class javax.swing.event.TreeSelectionEvent

Documentation changed from old to new.