--- a/hotspot/src/share/vm/utilities/ostream.hpp	Wed Jun 18 12:39:57 2014 -0700
+++ b/hotspot/src/share/vm/utilities/ostream.hpp	Thu Jun 19 13:31:14 2014 +0200
@@ -28,6 +28,7 @@
 #include "memory/allocation.hpp"
 #include "runtime/timer.hpp"
 
+class GCId;
 DEBUG_ONLY(class ResourceMark;)
 
 // Output streams for printing
@@ -107,6 +108,7 @@
    void date_stamp(bool guard) {
      date_stamp(guard, "", ": ");
    }
+   void gclog_stamp(const GCId& gc_id);
 
    // portable printing of 64 bit integers
    void print_jlong(jlong value);