fixup! Give Jacoco a chance to record coverage before worker JVM is forcibly killed.
fixup! Give Jacoco a chance to record coverage before worker JVM is forcibly killed.

cinquin/mutinack,cinquin/mutinack,cinquin/mutinack,cinquin/mutinack,cinquin/mutinack