java.lang.Object javax.swing.JTree.TreeSelectionRedirector
XMLEncoder
protected JTree.TreeSelectionRedirector()
public void valueChanged(TreeSelectionEvent e)