// ----------------------------------------------------------------------------------------------------
  public static void saveToAppPrefs(AppPreferences prefs) {

    prefs.setPref("MinRoomCapacities", ParserSettings.minRoomCapacities_to_str());

    double value = ParserSettings.NonCancelableIncrement;
    prefs.setPrefDouble("NonCancelableIncrement", 100 * value - 100);

    prefs.setPrefDouble("BreakfastCostPerDay", ParserSettings.FamilyBreakfastCostPerDay);
    prefs.setPrefDouble("MaxTotalPrice", ParserSettings.maxTotalPrice);
  }
  // ----------------------------------------------------------------------------------------------------
  public static void loadFromAppPrefs(AppPreferences prefs) {

    double value;

    ParserSettings.str_to_minRoomCapacities(prefs.getPref("MinRoomCapacities", "4"));

    value = prefs.getPrefDouble("NonCancelableIncrement", 20.0);
    ParserSettings.NonCancelableIncrement = (100.0 + value) / 100.0;

    value = prefs.getPrefDouble("BreakfastCostPerDay", 25.0);
    ParserSettings.FamilyBreakfastCostPerDay = value;

    value = prefs.getPrefDouble("MaxTotalPrice", 0.0);
    ParserSettings.maxTotalPrice = value;
  }