Update JaCoCo to version 0.8.5

1 job for jacoco-0.8.5 in 9 minutes and 49 seconds (queued for 9 minutes and 25 seconds)