*** old/src/share/vm/runtime/timer.cpp	Mon Sep 17 10:37:04 2012
--- new/src/share/vm/runtime/timer.cpp	Mon Sep 17 10:37:01 2012

*** 118,131 ****
--- 118,128 ----
    _print_cr = print_cr;
    _logfile = (logfile != NULL) ? logfile : tty;
  
    if (_active) {
      _accum = NULL;
      if (PrintGCTimeStamps) {
        _logfile->stamp();
        _logfile->print(": ");
      }
+     _logfile->stamp(PrintGCTimeStamps);
      _logfile->print("[%s", title);
      _logfile->flush();
      _t.start();
    }
  }

*** 139,152 ****
--- 136,146 ----
    _verbose = verbose;
    _print_cr = true;
    _logfile = (logfile != NULL) ? logfile : tty;
    if (_active) {
      if (_verbose) {
        if (PrintGCTimeStamps) {
          _logfile->stamp();
          _logfile->print(": ");
        }
+       _logfile->stamp(PrintGCTimeStamps);
        _logfile->print("[%s", title);
        _logfile->flush();
      }
      _accum = accumulator;
      _t.start();