String json = mk.getNodes(p, revision, 0, 0, 0, null);
if (json == null) {
page = new BTreeLeaf(tree, parent, name,
new String[0], new String[0]);
} else {
NodeImpl n = NodeImpl.parse(json);
String keys = n.getProperty("keys");
String values = n.getProperty("values");
String children = n.getProperty("children");
if (children != null) {
BTreeNode node = new BTreeNode(tree, parent, name,
readArray(keys), readArray(values), readArray(children));
page = node;
} else {