From 72ebca46aa7dc9cc1d97c614d850ffe43b8cfc07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Richard=20K=C3=B6rber?= <github@shredzone.org>
Date: Sun, 27 Oct 2019 14:20:19 +0100
Subject: [PATCH] Fix build on Java 13

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 57a9959c..3116d11b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -81,7 +81,7 @@
             <plugin>
                 <groupId>com.github.spotbugs</groupId>
                 <artifactId>spotbugs-maven-plugin</artifactId>
-                <version>3.1.10</version>
+                <version>3.1.12.2</version>
                 <configuration>
                     <excludeFilterFile>src/config/spotbugs-exclude.xml</excludeFilterFile>
                 </configuration>
@@ -205,7 +205,7 @@
             <plugin>
                 <groupId>com.github.spotbugs</groupId>
                 <artifactId>spotbugs-maven-plugin</artifactId>
-                <version>3.1.10</version>
+                <version>3.1.12.2</version>
             </plugin>
         </plugins>
     </reporting>