Upgrade jacoco to 0.7.2
Record last change