File libgda-jre9.patch of Package libgda

--- libgda-5.2.4/m4/java.m4	2018-01-08 13:25:53.682276195 +0100
+++ libgda-5.2.4/m4/java.m4	2018-01-08 13:26:48.582276402 +0100
@@ -180,6 +180,11 @@
 		    JTYPE="Sun JRE 1.8"
 		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
 		    ;;
+                JRE9*)
+		    try_java=true
+		    JTYPE="Sun JRE 9"
+		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
+		    ;;
                 JREgcj-4*)
 		    try_java=true
 		    JTYPE="GCJ"