From e998cc5e110cdcb459338cec31ef0286c15319d0 Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Fri, 18 Mar 2016 17:52:24 +0100
Subject: [PATCH] Back to an intermedaite version of jacoco.

Version after 0.7.4, but not 0.7.6, hence 0.7.5.
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index a8b323c8..8e1b8139 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,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.6.201602180812</rugged.jacoco-maven-plugin.version>
+    <rugged.jacoco-maven-plugin.version>0.7.5.201505241946</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