/** Calling this method will write all preferences into the preference store. */
public void flush() {
if (getBoolean("memoryStickMode")) {
try {
exportPreferences("jabref.xml");
} catch (IOException e) {
Globals.logger(
"Could not save preferences for memory stick mode: " + e.getLocalizedMessage());
}
}
try {
prefs.flush();
} catch (BackingStoreException ex) {
ex.printStackTrace();
}
}
