--- a/src/hotspot/share/gc/cms/concurrentMarkSweepGeneration.hpp	Tue May 29 09:26:00 2018 +0200
+++ b/src/hotspot/share/gc/cms/concurrentMarkSweepGeneration.hpp	Mon Jun 18 12:11:59 2018 +0200
@@ -486,7 +486,7 @@
   { }
 
   // Executes a task using worker threads.
-  virtual void execute(ProcessTask& task);
+  virtual void execute(ProcessTask& task, uint ergo_workers);
 private:
   CMSCollector& _collector;
 };