Method export

src/main/java/gate/DocumentExporter.java:98–100

Equivalent to #export(Document,File,FeatureMap) with an empty map of options.

(Document doc, File file)

   * of options.
   */
  public void export(Document doc, File file) throws IOException {
    export(doc, file, Factory.newFeatureMap());
  }

  /**
   * Equivalent to {@link #export(Document,OutputStream,FeatureMap)} using a