--- old/src/share/vm/gc_implementation/shared/gcTraceTime.cpp	Thu May 23 14:13:34 2013
+++ new/src/share/vm/gc_implementation/shared/gcTraceTime.cpp	Thu May 23 14:13:34 2013
@@ -58,10 +58,8 @@
   }
 
   if (_doit) {
-    if (PrintGCTimeStamps) {
-      gclog_or_tty->stamp();
-      gclog_or_tty->print(": ");
-    }
+    gclog_or_tty->date_stamp(PrintGCDateStamps);
+    gclog_or_tty->stamp(PrintGCTimeStamps);
     gclog_or_tty->print("[%s", title);
     gclog_or_tty->flush();
   }