public void write(Writer writer) throws Exception {
JSONBuilder builder = new JSONBuilder(writer);
builder.object();
writeDirectory(builder, top);
builder.endObject();
}
private void writeDirectory(JSONBuilder builder, File dir) throws Exception {
// List all elements in directory, in sorted order
List<String> children = null;