JTree.this.repaint();
    public void valueChanged(TreeSelectionEvent ev)    {      TreeSelectionEvent rewritten =        (TreeSelectionEvent) ev.cloneWithSource(JTree.this);      fireValueChanged(rewritten);    }