From 75bd24ebcb5d7cc08371fdb952bc4e74ec63dbed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Soto=20Valero?= <cesarsotovalero@gmail.com>
Date: Fri, 6 Jan 2023 11:19:31 +0100
Subject: [PATCH] Update JaCoCo to 0.8.8

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 8471e921..fc9781e6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -548,7 +548,7 @@ setup to run configuration. -->
 
                 <groupId>org.jacoco</groupId>
                 <artifactId>jacoco-maven-plugin</artifactId>
-                <version>0.7.9</version>
+                <version>0.8.8</version>
                 <configuration>
                     <excludes>
                         <exclude>org/jacop/examples/scala/**/*.class</exclude>