From 71094598f1deea2a2cf72849f1e36730a22a4cfd Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Fri, 18 Mar 2016 17:41:31 +0100
Subject: [PATCH] Update jacoco plugin.

The previous jacoco plugin version was not compatible with Jenkins
anymore.
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 696db948..8dbef760 100644
--- a/pom.xml
+++ b/pom.xml
@@ -18,7 +18,7 @@
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
     <rugged.findbugs-maven-plugin.version>3.0.0</rugged.findbugs-maven-plugin.version>
-    <rugged.jacoco-maven-plugin.version>0.7.2.201409121644</rugged.jacoco-maven-plugin.version>
+    <rugged.jacoco-maven-plugin.version>0.7.6.201602180812</rugged.jacoco-maven-plugin.version>
     <rugged.maven-assembly-plugin.version>2.5.3</rugged.maven-assembly-plugin.version>
     <rugged.maven-bundle-plugin.version>2.5.3</rugged.maven-bundle-plugin.version>
     <rugged.maven-changes-plugin.version>2.11</rugged.maven-changes-plugin.version>
-- 
GitLab