--- old/src/hotspot/share/gc/g1/g1GCPhaseTimes.cpp	2018-11-27 20:26:36.659834983 +0100
+++ new/src/hotspot/share/gc/g1/g1GCPhaseTimes.cpp	2018-11-27 20:26:36.279833099 +0100
@@ -251,6 +251,10 @@
   _gc_par_phases[phase]->set_thread_work_item(worker_i, count, index);
 }
 
+void G1GCPhaseTimes::record_or_add_thread_work_item(GCParPhases phase, uint worker_i, size_t count, uint index) {
+  _gc_par_phases[phase]->set_or_add_thread_work_item(worker_i, count, index);
+}
+
 // return the average time for a phase in milliseconds
 double G1GCPhaseTimes::average_time_ms(GCParPhases phase) {
   return _gc_par_phases[phase]->average() * 1000.0;