Merge branch 'update_jacoco' into 'master'

Update JaCoCo to version 0.8.7

See merge request !318
1 job for master in 8 minutes and 47 seconds