--- a/hotspot/src/share/vm/gc/cms/promotionInfo.hpp	Wed Nov 11 23:51:57 2015 -0500
+++ b/hotspot/src/share/vm/gc/cms/promotionInfo.hpp	Thu Nov 12 09:19:44 2015 +0100
@@ -207,7 +207,6 @@
   }
 
   void print_on(outputStream* st) const;
-  void print_statistics(uint worker_id) const;
 };