Upgrade to JaCoCo 0.7.2.