Update JaCoCo to version 0.8.4

1 job for update_jacoco in 11 minutes and 5 seconds (queued for 8 minutes and 7 seconds)