/* Enforce that Explorer Settings are up to date if necessary */
if (fExportOptionsPage.getExportOptions() != null && fExportOptionsPage.getExportOptions().contains(Options.EXPORT_PREFERENCES)) {
BookMarkExplorer explorer = OwlUI.getOpenedBookMarkExplorer();
if (explorer != null)
explorer.saveState();
}
/* Export */
File file = new File(string);
try {