org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider