Fix Gradle build error introduced with last commit (looks like a Gradle or Jacoco Gradle plugin bug).