// 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();
}
/** (non-Javadoc)
* @see org.apache.tools.ant.Task#execute()