public void write(String file) throws Exception {
  write(new File(file));
}

public void write ( String file ) throws Exception { write ( new File ( file ) ) ; }
writes the current dom document into the given file .
