From 38bcf247b73c5caae0b9a3bc16c325fa5ce409d1 Mon Sep 17 00:00:00 2001
From: Christoph Zengler <christoph@zengler.eu>
Date: Mon, 15 Aug 2016 13:26:35 +0200
Subject: [PATCH] updated versions in POM

---
 pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 7ebde146..9a597f70 100644
--- a/pom.xml
+++ b/pom.xml
@@ -42,7 +42,7 @@
       <plugin>
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-compiler-plugin</artifactId>
-        <version>3.3</version>
+        <version>3.5.1</version>
         <configuration>
           <source>1.7</source>
           <target>1.7</target>
@@ -71,7 +71,7 @@
       <plugin>
         <groupId>org.jacoco</groupId>
         <artifactId>jacoco-maven-plugin</artifactId>
-        <version>0.7.5.201505241946</version>
+        <version>0.7.7.201606060606</version>
         <configuration>
           <excludes>
             <exclude>**/LogicNGPropositional*</exclude>
@@ -119,7 +119,7 @@
       <plugin>
         <groupId>org.eluder.coveralls</groupId>
         <artifactId>coveralls-maven-plugin</artifactId>
-        <version>4.1.0</version>
+        <version>4.2.0</version>
         <configuration>
           <sourceDirectories>
             <sourceDirectory>target/generated-sources/antlr</sourceDirectory>