Update JaCoCo to version 0.8.3

1 job for update_jacoco in 11 minutes and 13 seconds (queued for 2 seconds)