public void labelRenamed(long labelID, String newLabelName) {
List<Object> children = getChildUserObjects(rootObject);
for (Object userObject : children) {
LabelPath labelPath = (LabelPath) userObject;
if (labelPath.getID() == labelID) {
labelPath.rename(newLabelName);
refreshNode(userObject);
}
}
}
}