insertTimestamp(con, value, value.getTimestamp().continueAt(version.number()));
}
}
} else {
DatabaseGroupNode group = (DatabaseGroupNode)node;
for (int iChild = 0; iChild < group.children().size(); iChild++) {
DatabaseElementNode child = group.children().get(iChild);
if ((child.hasTimestamp()) && (child.getTimestamp().lastValue() == deletedAt)) {
insertTimestamp(con, child, child.getTimestamp().continueAt(version.number()));
}
activateElementNode(con, child, deletedAt, version);