docs: public void generateGraphVizDotFile(final File file) throws IOException {
          try (PrintWriter writer = new PrintWriter(file)) {
              writer.print(generateGraphVizDotFile());
          }
      }