code: private static String fixSymbols(final String s, final DecimalFormatSymbols symbols) {
  		final char groupingSeparator = symbols.getGroupingSeparator();
  		final char decimalSeparator = symbols.getDecimalSeparator();
  		return s.replace(String.valueOf(groupingSeparator), "").replace(decimalSeparator, DEFAULT_DECIMAL_SEPARATOR);
  	}
docs: Fixes the symbols in the input String (currently only decimal separator and grouping separator) so that the
  String can be parsed as a BigDecimal.
  
  @param s
  the String to fix
  @param symbols
  the decimal format symbols
  @return the fixed String