}
}
// TODO this does not work well for large child node lists
// use a MongoDB index instead
int max = MANY_CHILDREN_THRESHOLD;
Children fromChildren, toChildren;
fromChildren = nodeStore.getChildren(path, fromRev, max);
toChildren = nodeStore.getChildren(path, toRev, max);
if (!fromChildren.hasMore && !toChildren.hasMore) {
diffFewChildren(w, fromChildren, fromRev, toChildren, toRev);
} else {