--- old/src/share/vm/jvmci/jvmciRuntime.hpp	2016-05-11 09:26:21.463454799 +0200
+++ new/src/share/vm/jvmci/jvmciRuntime.hpp	2016-05-11 09:26:20.930453069 +0200
@@ -120,6 +120,8 @@
 
   static void shutdown(TRAPS);
 
+  static void bootstrap_finished(TRAPS);
+
   static bool shutdown_called() {
     return _shutdown_called;
   }