ResourceBundle res; try { res = ResourceBundle.getBundle("gnu.java.locale.LocaleInformation", loc); } catch (MissingResourceException x) { res = null; } currencySymbol = safeGetString (res, "currencySymbol", "$"); decimalSeparator = safeGetChar (res, "decimalSeparator", '.'); digit = safeGetChar (res, "digit", '#'); exponential = safeGetChar (res, "exponential", 'E'); groupingSeparator = safeGetChar (res, "groupingSeparator", ','); infinity = safeGetString (res, "infinity", "\u221e");  intlCurrencySymbol = safeGetString (res, "intlCurrencySymbol", "$"); try { monetarySeparator = safeGetChar (res, "monetarySeparator", '.'); } catch (MissingResourceException x) { monetarySeparator = decimalSeparator; } minusSign = safeGetChar (res, "minusSign", '-'); NaN = safeGetString (res, "NaN", "\ufffd"); patternSeparator = safeGetChar (res, "patternSeparator", ';'); percent = safeGetChar (res, "percent", '%'); perMill = safeGetChar (res, "perMill", '\u2030'); zeroDigit = safeGetChar (res, "zeroDigit", '0');
this (Locale.getDefault());
  public DecimalFormatSymbols (Locale loc)  {    ResourceBundle res;    try      {	res = ResourceBundle.getBundle("gnu.java.locale.LocaleInformation",				       loc);      }    catch (MissingResourceException x)      {	res = null;      }    currencySymbol = safeGetString (res, "currencySymbol", "$");    decimalSeparator = safeGetChar (res, "decimalSeparator", '.');    digit = safeGetChar (res, "digit", '#');    exponential = safeGetChar (res, "exponential", 'E');    groupingSeparator = safeGetChar (res, "groupingSeparator", ',');    infinity = safeGetString (res, "infinity", "\u221e");    // FIXME: default?    intlCurrencySymbol = safeGetString (res, "intlCurrencySymbol", "$");    try      {	monetarySeparator = safeGetChar (res, "monetarySeparator", '.');      }    catch (MissingResourceException x)      {	monetarySeparator = decimalSeparator;      }    minusSign = safeGetChar (res, "minusSign", '-');    NaN = safeGetString (res, "NaN", "\ufffd");    patternSeparator = safeGetChar (res, "patternSeparator", ';');    percent = safeGetChar (res, "percent", '%');    perMill = safeGetChar (res, "perMill", '\u2030');    zeroDigit = safeGetChar (res, "zeroDigit", '0');  }