--- a/src/hotspot/share/runtime/thread.hpp	Thu May 23 09:46:49 2019 +0200
+++ b/src/hotspot/share/runtime/thread.hpp	Thu May 23 10:13:29 2019 +0200
@@ -1918,7 +1918,7 @@
   void deoptimize();
   void make_zombies();
 
-  void deoptimized_wrt_marked_nmethods();
+  void deoptimize_marked_methods(bool in_handshake);
 
  public:
   // Returns the running thread as a JavaThread