Another locale setting for outputting decimals in English.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10232 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismUtils.java

@@ -327,7 +327,7 @@ public class PrismUtils
 		for (int i = 3; i > 0; i--) {
 			long pow = 1 << (i * 10);
 			if (bytes >= pow) {
-				return (bytes % pow == 0 ? (bytes / pow) : String.format("%.1f", ((double) bytes) / pow)) + units[i];
+				return (bytes % pow == 0 ? (bytes / pow) : String.format(Locale.UK, "%.1f", ((double) bytes) / pow)) + units[i];
 			}
 		}
 		return bytes + units[0];