svoid jTree_fireUserObjectChanged(final JTree tree, fO o) {
  if (tree == null || o == null) ret;
  swing {
    DefaultMutableTreeNode node = jDynamicTree_findNode(tree, o);
    if (node == null) ret;
    DefaultTreeModel model = cast tree.getModel();
    model.nodeChanged(node);
  }
}