--- a/hotspot/src/share/vm/gc/g1/g1GCPhaseTimes.hpp	Tue Dec 15 00:16:09 2015 -0500
+++ b/hotspot/src/share/vm/gc/g1/g1GCPhaseTimes.hpp	Tue Dec 15 09:58:29 2015 +0100
@@ -126,7 +126,7 @@
  public:
   G1GCPhaseTimes(uint max_gc_threads);
   void note_gc_start(uint active_gc_threads);
-  void print(double pause_time_sec);
+  void print(double pause_time_ms);
 
   // record the time a phase took in seconds
   void record_time_secs(GCParPhases phase, uint worker_i, double secs);