code: public static void runDOT(File dotFile, String format, File out) throws IOException {
          runDOT(IOUtil.asBufferedUTF8Reader(dotFile), format, out);
      }
docs: Invokes the DOT utility on a file, producing an output file. Convenience method, see {@link #runDOT(Reader,
  String, File)}.