Build #380:   update jacoco dependency to 0.8.5 on branch develop almost 6 years ago