Release JaCoCo 0.7.1