Generated IDs depend on Locale

[hbruch]

IDs are generated using a hash of String.format("... %.5f %.5f"). As different Locales use different decimal separators, IDs generation is currently locale dependent.