--- old/src/hotspot/share/gc/g1/g1FullGCMarker.hpp	2020-01-30 12:26:37.553343863 +0100
+++ new/src/hotspot/share/gc/g1/g1FullGCMarker.hpp	2020-01-30 12:26:37.170332090 +0100
@@ -87,7 +87,7 @@
   inline void drain_stack();
   void complete_marking(OopQueueSet* oop_stacks,
                         ObjArrayTaskQueueSet* array_stacks,
-                        OWSTTaskTerminator* terminator);
+                        TaskTerminator* terminator);
 
   // Closure getters
   CLDToOopClosure*      cld_closure()   { return &_cld_closure; }