public void update(NameIdPair other) {
if (!name.equals(other.getName())) {
throw EnvironmentFailureException.unexpectedState(
"Pair name mismatch: " + name + " <> " + other.getName());
}
setId(other.getId());
}
/** Constructor for a pair where the node ID is as yet unknown. */
public NameIdPair(String name) {
this(name, NULL.getId());
}