[14] RFR 8243395: Shenandoah: demote guarantee in ShenandoahPhaseTimings::record_workers_end

[Aleksey Shipilev]

Original RFE:
  https://bugs.openjdk.java.net/browse/JDK-8243395
  https://hg.openjdk.java.net/jdk/jdk/rev/28d9bc4b13b2

Context is a bit different, but patch is otherwise is very simple.

14u webrev:
  https://cr.openjdk.java.net/~shade/8243395/webrev.14u.01/

Testing: hotspot_gc_shenandoah {fastdebug,release}, tier{1,2} with Shenandoah

-- 
Thanks,
-Aleksey