--- a/hotspot/src/share/vm/shark/sharkCompiler.cpp	Tue Mar 04 17:14:00 2014 +0100
+++ b/hotspot/src/share/vm/shark/sharkCompiler.cpp	Tue Mar 04 18:52:06 2014 -0800
@@ -364,3 +364,7 @@
   *(dst++) = '\0';
   return buf;
 }
+
+void SharkCompiler::print_timers() {
+  // do nothing
+}