- debug("profiles", String.format("Editing profile %s (%s); hue=%d", profile.getName(),
- profile.getUuid(), profile.getThemeId()));
+ debug("profiles", String.format(Locale.ENGLISH, "Editing profile %s (%s); hue=%d",
+ profile.getName(), profile.getUuid(), profile.getThemeId()));