}
// FIXME: This is somewhat of a hack. The change of the label
// name should not be done by removing the label and readding
// it. Instead the node should probably have a setLabel method
// which could be invoked by the Label.setLabel() method.
tree.removeLabel(documentid, label);
label.setLabel(labelName);
tree.addLabel(documentid, label);
tree.save();
}