--- a/src/hotspot/share/gc/shenandoah/shenandoahHeap.hpp	Mon Apr 01 08:21:45 2019 -0700
+++ b/src/hotspot/share/gc/shenandoah/shenandoahHeap.hpp	Mon Apr 01 18:34:39 2019 +0200
@@ -584,6 +584,8 @@
 public:
   void register_nmethod(nmethod* nm);
   void unregister_nmethod(nmethod* nm);
+  void flush_nmethod(nmethod* nm) {}
+  void verify_nmethod(nmethod* nm) {}
 
 // ---------- Pinning hooks
 //