for (int i = 0; i < files.length; i++) {
try {
String json = content(files[i].getAbsolutePath());
FlexibleUndirectedGraph graph = FlexibleUndirectedGraph
.fromJSON(new JSONObject(json));
System.out.println(files[i].getName() + " " + graph.stats());
/*
FileWriter writer = new FileWriter(files[i].getName() + ".dot");
writer.write(graph.toDOTFormat());
writer.close();
*/