private static void saveState() {
		try {
			RecentFilesMenu.saveToPreferences();
			Fonts.saveToPreferences();
			Preferences.getInstance().save();
		} catch (Exception exception) {
			// Ignore, since preferences may not have been initialized...
		}
	}