out.print("symbols.setGroupingSeparator(\'");
out.printJavaChar(symbols.getGroupingSeparator());
out.println("\');");
out.print("symbols.setInfinity(\"");
out.printJavaString(symbols.getInfinity());
out.println("\");");
out.print("symbols.setMinusSign(\'");
out.printJavaChar(symbols.getMinusSign());
out.println("\');");