Revert topic 'expand_cobertura_coverage'

It will be revised and resubmitted.
Merge topic 'expand_cobertura_coverage' into next

19c4e09c Revert topic 'expand_cobertura_coverage'