--- old/src/hotspot/share/gc/shenandoah/shenandoahConcurrentMark.hpp	2018-06-19 21:02:30.752181561 +0200
+++ new/src/hotspot/share/gc/shenandoah/shenandoahConcurrentMark.hpp	2018-06-19 21:02:30.573183754 +0200
@@ -118,7 +118,6 @@
   ShenandoahObjToScanQueue* get_queue(uint worker_id);
   void clear_queue(ShenandoahObjToScanQueue *q);
 
-  void drain_satb_buffers(uint worker_id);
   ShenandoahObjToScanQueueSet* task_queues() { return _task_queues;}
 
   jushort* get_liveness(uint worker_id);