From fd0026b4b42f9a996dbaf1681950086592327c81 Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Mon, 20 Apr 2015 12:44:06 +0200
Subject: [PATCH] updated JCTools

---
 .settings/edu.umd.cs.findbugs.core.prefs | 2 +-
 pom.xml                                  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.settings/edu.umd.cs.findbugs.core.prefs b/.settings/edu.umd.cs.findbugs.core.prefs
index 60b03d3a..cb17c2ed 100644
--- a/.settings/edu.umd.cs.findbugs.core.prefs
+++ b/.settings/edu.umd.cs.findbugs.core.prefs
@@ -1,5 +1,5 @@
 #FindBugs User Preferences
-#Mon Apr 20 12:33:48 CEST 2015
+#Mon Apr 20 12:42:35 CEST 2015
 detector_threshold=3
 effort=max
 excludefilter0=.fbExcludeFilterFile|true
diff --git a/pom.xml b/pom.xml
index 31906a9c..cf0c1cfb 100644
--- a/pom.xml
+++ b/pom.xml
@@ -125,7 +125,7 @@
 			<groupId>com.github.JCTools</groupId>
 			<artifactId>JCTools</artifactId>
 			<!-- SNAPSHOT master version -->
-			<version>ea6ac4c4b7</version>
+			<version>7239659ba08e0679e5ca160bbe5f923f07fd4730</version>
 		</dependency>
 		<dependency>
 			<groupId>com.puppycrawl.tools</groupId>
-- 
GitLab