public final void mouseReleased(MouseEvent e) {
 JTree tree = (JTree) e.getSource();
 tree.setSelectionRow(tree.getRowForLocation(e.getX(), e.getY()));
}