From f8c03c434ea6d2d2508fdbfe581db99cff621348 Mon Sep 17 00:00:00 2001
From: ahr <ahr@ahr.local>
Date: Mon, 6 Nov 2017 17:21:45 +0100
Subject: [PATCH] print thousand delimiter (of whatever they are called)

---
 .../src/main/java/org/lucares/recommind/logs/Plotter.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pdb-plotting/src/main/java/org/lucares/recommind/logs/Plotter.java b/pdb-plotting/src/main/java/org/lucares/recommind/logs/Plotter.java
index 09b44d7..5fa4abb 100644
--- a/pdb-plotting/src/main/java/org/lucares/recommind/logs/Plotter.java
+++ b/pdb-plotting/src/main/java/org/lucares/recommind/logs/Plotter.java
@@ -218,7 +218,7 @@ public class Plotter {
 		}
 
 		result.append(" (");
-		result.append(values);
+		result.append(String.format("%,d", values));
 		result.append(")");
 
 		return result.toString();