Make metrics-web runs independent of server locale
metrics-web script runs expect numbers formatted using the US locale. Java output is currently server locale dependent. This affects mostly those of the roughly fifty 'String.format' calls that format numbers. Maybe, more.
Ideally, the java code should provide the correct output independent of the environments locale.
(Quick fix as applied in #24175 (moved): set locale on the java command line.)