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