Update JaCoCo to version 0.8.8

1 job for update_jacoco in 5 minutes and 18 seconds (queued for 6 seconds)