--- old/src/hotspot/share/runtime/thread.hpp	2019-08-28 08:35:15.895850362 +0200
+++ new/src/hotspot/share/runtime/thread.hpp	2019-08-28 08:35:15.570839283 +0200
@@ -1889,7 +1889,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