Revert "JDK 9: Disable JaCoCo until 0.7.8 is available" This reverts commit 6852b207623ede42531ef76489b5eb8fcc625c7c.