.getFile());
Administrator.setLastDir(file.getParentFile()); // remember the dir for next time
ExportOptionsDialog optsDialog =
new ExportOptionsDialog("Select Options for Export");
if (optsDialog.getFormatSelection() != null) {
exporter.export(pid,
optsDialog.getFormatSelection(),
optsDialog.getContextSelection(),
new FileOutputStream(file));
JOptionPane.showMessageDialog(Administrator
.getDesktop(), "Exported " + pid);