--- old/src/share/vm/runtime/timer.cpp	2014-02-17 16:00:39.000000000 +0100
+++ new/src/share/vm/runtime/timer.cpp	2014-02-17 16:00:39.000000000 +0100
@@ -191,7 +191,7 @@
         system_secs = system_time - _starting_system_time;
         real_secs = real_time - _starting_real_time;
 
-        _logfile->print(" [Times: user=%3.2f sys=%3.2f, real=%3.2f secs] ",
+        _logfile->print(" [Times: user=%3.2f sys=%3.2f real=%3.2f secs] ",
           user_secs, system_secs, real_secs);
 
       } else {