DecimalFormatSymbols symbols = (DecimalFormatSymbols) locales.get(name);
out.println("symbols = new java.text.DecimalFormatSymbols();");
out.print("symbols.setDecimalSeparator(\'");
out.printJavaChar(symbols.getDecimalSeparator());
out.println("\');");
out.print("symbols.setGroupingSeparator(\'");
out.printJavaChar(symbols.getGroupingSeparator());
out.println("\');");