private void savePreferences() {
		try {
			preferencesFile.createNewFile();
			preferences.storeToXML(new FileOutputStream(preferencesFile), null);
			print("Preferences saved successfully.");
		} catch (IOException e) {
			// TODO Auto-generated catch block
			print("ERROR: Failed to save preferences.");
		}
	}