432433434435436437438439440441442
DotUtils.showGraph(dot); else { PrintWriter w = new PrintWriter(args[1]); try { dot.printDot(w); } finally { w.close(); } } }