--- old/src/share/vm/shark/sharkCompiler.cpp	2013-10-02 11:39:44.893048018 +0200
+++ new/src/share/vm/shark/sharkCompiler.cpp	2013-10-02 11:39:44.837048019 +0200
@@ -133,11 +133,10 @@
     exit(1);
   }
 
-  execution_engine()->addModule(
-    _native_context->module());
+  execution_engine()->addModule(_native_context->module());
 
   // All done
-  mark_initialized();
+  set_state(initialized);
 }
 
 void SharkCompiler::initialize() {