public boolean export() {
   if (imagePanel == null) {
     GuiUtils.showNonModalMsg("Got no image to export yet...");
     return false;
   }
   String file = FileTools.getFile("Save image to a file", "*.*", null, true);
   return export(file);
 }
 // String locToReadFile;
 public LocToReadIndexer(String indexpath, int code) {
   super();
   code = Math.abs(code);
   INDEXFILENAME = "loctoread_" + code + ".idx";
   READLOCFILENAME = "readlocations_" + code + ".txt";
   init();
   this.indexpath = FileTools.addSlashOrBackslash(indexpath);
 }
 public PGMAcquisition(String path, int flow) {
   this.flow = flow;
   this.path = path;
   if (path == null) {
     err("got null file path!");
   }
   if (FileTools.isUrl(path)) {
     try {
       initUrl(new URL(path));
     } catch (Exception ex) {
       err("Error reading " + path, ex);
     }
   } else {
     initFile(new File(path));
   }
 }