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