Method run

src/main/java/gate/gui/DocumentExportMenu.java:250–455

()

                Runnable runnable = new Runnable() {
                  public void run() {

                    if(handle.getTarget() instanceof Document) {

                      long start = System.currentTimeMillis();
                      listener.statusChanged("Saving as " + de.getFileType()
                              + " to " + selectedFile.toString() + "...");
                      try {
                        de.export((Document)handle.getTarget(), selectedFile,
                                options);
                      } catch(IOException e) {
                        e.printStackTrace();
                      }

                      long time = System.currentTimeMillis() - start;
                      listener.statusChanged("Finished saving as "
                              + de.getFileType() + " into " + " the file: "
                              + selectedFile.toString() + " in "
                              + ((double)time) / 1000 + "s");
                    } else { // corpus
                      if(de instanceof CorpusExporter) {

                        long start = System.currentTimeMillis();
                        listener.statusChanged("Saving as " + de.getFileType()
                                + " to " + selectedFile.toString() + "...");
                        try {
                          ((CorpusExporter)de).export((Corpus)handle.getTarget(), selectedFile,
                                  options);
                        } catch(IOException e) {
                          e.printStackTrace();
                        }

                        long time = System.currentTimeMillis() - start;
                        listener.statusChanged("Finished saving as "
                                + de.getFileType() + " into " + " the file: "
                                + selectedFile.toString() + " in "
                                + ((double)time) / 1000 + "s");
                      } else { // not a CorpusExporter
                        try {
                          File dir = selectedFile;
                          // create the top directory if needed
                          if(!dir.exists()) {
                            if(!dir.mkdirs()) {
                              JOptionPane.showMessageDialog(
                                      MainFrame.getInstance(),
                                      "Could not create top directory!", "GATE",
                                      JOptionPane.ERROR_MESSAGE);
                              return;
                            }
                          }
  
                          MainFrame.lockGUI("Saving...");
                          Corpus corpus = (Corpus)handle.getTarget();
  
                          long startTime = System.currentTimeMillis();
                          // iterate through all the docs and save
                          // each of
                          // them