title: Double-click a JTree node and get its name
body: <p>How do I double-click a JTree node and get its name? </p>
  
  <p>If I call <code>evt.getSource()</code> it seems that the object returned is a JTree. I can't cast it to a DefaultMutableTreeNode.</p>