public void addDecimalFormatting(String name, DecimalFormatting symbols) {
public void addDecimalFormatting(QName name, DecimalFormatting symbols) {
    public void addDecimalFormatting(String name, DecimalFormatting symbols) {	if (_decimalFormats == null) _decimalFormats = new Hashtable();	_decimalFormats.put(name, symbols);    }