From 385d9481948dc66d65942994bb1502f861e4f15a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 11:47:06 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/PrismUtils.java b/prism/src/prism/PrismUtils.java
index 0326db64..b7a5161e 100644
--- a/prism/src/prism/PrismUtils.java
+++ b/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];