Release JaCoCo 0.7.2