From 424805bafc451eebfaa32b79f0c3292b15bfc1af Mon Sep 17 00:00:00 2001
From: Stefano Cordio <stefano.cordio@gmail.com>
Date: Mon, 24 Aug 2020 21:16:36 +0200
Subject: [PATCH] Disable JaCoCo on Java 16+

JaCoCo 0.8.5 does not support Java 16, see jacoco/jacoco#1059.
---
 pom.xml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/pom.xml b/pom.xml
index de776be7fb..dbcfa22e31 100644
--- a/pom.xml
+++ b/pom.xml
@@ -548,22 +548,23 @@
       </build>
     </profile>
     <profile>
-      <id>java11+</id>
+      <id>java13+</id>
       <activation>
-        <jdk>[11,)</jdk>
+        <jdk>[13,)</jdk>
       </activation>
       <properties>
-        <sonar.skip>false</sonar.skip>
+        <javadocAdditionalOptions>-html5 --allow-script-in-comments</javadocAdditionalOptions>
       </properties>
     </profile>
     <profile>
-      <id>java13+</id>
+      <id>java16+</id>
       <activation>
-        <jdk>[13,)</jdk>
+        <jdk>[16,)</jdk>
       </activation>
       <properties>
-        <javadocAdditionalOptions>-html5 --allow-script-in-comments</javadocAdditionalOptions>
+        <jacoco.skip>true</jacoco.skip> <!-- TODO to be removed once jacoco-maven-plugin 0.8.6 is available -->
       </properties>
     </profile>
   </profiles>
+
 </project>