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();
    DefaultMutableTreeNode parent = cast node.getParent();
    if (parent == null)
      model.fireTreeNodesChanged(model, null, null, new O[] {node});
    else
      model.fireTreeNodesChanged(model, parent.getPath(), new int[] { parent.getIndex(node) }, new O[] {node});
  }
}