public void save(final Path path) throws IOException {
  try (OutputStream os=new BufferedOutputStream(Files.newOutputStream(path))){
    save(new OutputStreamDataOutput(os));
  }
 }

public void save ( final Path path ) throws IOException { try ( OutputStream os = new BufferedOutputStream ( Files . newOutputStream ( path ) ) ) { save ( new OutputStreamDataOutput ( os ) ) ; } }
writes an automaton to a file .
