protected void fireNodeChanged(TreeNavigatorNode node) {
TreePath pathToParent;
if (node.getParent() == null) {
pathToParent = new TreePath(getRoot());
} else {
pathToParent = node.getParent().getTreePath();
}
int[] c = new int[] {getIndexOfChild(pathToParent.getLastPathComponent(), node)};
TreeModelEvent tme = new TreeModelEvent(this, pathToParent, c, new Object[] {node});
for (TreeModelListener l : listeners) {
l.treeNodesChanged(tme);
}
}
