final JSONWriter w = new JSONWriter(out);
w.array();
while (it.hasNext()) {
dumpSingleNode(it.nextNode(), w, 1, 0);
}
w.endArray();
}
/** Dump given node in JSON, optionally recursing into its child nodes */
public void dump(Node node, Writer w, int maxRecursionLevels)
throws RepositoryException, JSONException {