svoid onTreeSelectionChanged(final JTree tree, final Runnable r) {
  if (tree != null && r != null) swing {
    tree.addTreeSelectionListener(new TreeSelectionListener {
      public void valueChanged(TreeSelectionEvent e) {
        pcallF(r);
      }
    });
  }
}