public void setTitle(TreeNavigatorNode node, String title) { node.setTitle(title); fireNodeChanged(node); }