Upgrade to JaCoCo 0.7.1

This allows to use JaCoCo with JDK 1.8.