From 3206f6718d2f3c227170d71d7843335772ce23fc Mon Sep 17 00:00:00 2001
From: Haikel Guemar <hguemar@fedoraproject.org>
Date: Sun, 16 Sep 2018 16:21:12 +0200
Subject: [PATCH 2/3] Fix compatibility with JRE 1.8

---
 configure | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/configure b/configure
index eca42df..afe6439 100755
--- a/configure
+++ b/configure
@@ -23565,6 +23565,11 @@ $as_echo_n "checking java compiler version... " >&6; }
 		    JTYPE="Sun JRE 1.7"
 		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
 		    ;;
+                JRE1.8.*)
+		    try_java=true
+		    JTYPE="Sun JRE 1.8"
+		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
+		    ;;
                 JREgcj-4*)
 		    try_java=true
 		    JTYPE="GCJ"
-- 
2.17.1