--- old/src/hotspot/share/utilities/waitBarrier_generic.hpp	2018-12-21 09:22:38.113124416 +0100
+++ new/src/hotspot/share/utilities/waitBarrier_generic.hpp	2018-12-21 09:22:37.789113531 +0100
@@ -52,7 +52,6 @@
   const char* description() { return "semaphore"; }
 
   void arm(int barrier_tag);
-  void disarm();
   void wake();
   void wait(int barrier_tag);
 };