--- old/src/share/vm/jvmci/jvmciRuntime.hpp	2016-05-10 17:49:06.996767922 +0200
+++ new/src/share/vm/jvmci/jvmciRuntime.hpp	2016-05-10 17:49:06.814767300 +0200
@@ -120,6 +120,8 @@
 
   static void shutdown(TRAPS);
 
+  static void bootstrapFinished();
+
   static bool shutdown_called() {
     return _shutdown_called;
   }