File libgda-jre18.patch of Package libgda

--- libgda-5.2.4/m4/java.m4	2018-01-08 13:12:26.228444544 +0100
+++ libgda-5.2.4/m4/java.m4	2018-01-08 13:25:05.222276012 +0100
@@ -175,6 +175,11 @@
 		    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"