public DecimalFormatting getDecimalFormatting(String name) {
public DecimalFormatting getDecimalFormatting(QName name) {
    public DecimalFormatting getDecimalFormatting(String name) {	if (_decimalFormats == null) return null;	return((DecimalFormatting)_decimalFormats.get(name));    }