Decimalformatsymbolsprovider (CloudMonk.io)

#redirect Java DecimalFormatSymbolsProvider

See: Java DecimalFormatSymbolsProvider