File libgda-jre10.patch of Package libgda

--- libgda-5.2.4/m4/java.m4	2018-01-08 13:27:17.718276512 +0100
+++ libgda-5.2.4/m4/java.m4	2018-01-08 13:29:09.958276936 +0100
@@ -185,6 +185,11 @@
 		    JTYPE="Sun JRE 9"
 		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
 		    ;;
+                JRE10*)
+		    try_java=true
+		    JTYPE="Sun JRE 10"
+		    JFLAGS="-Xlint:unchecked -Xlint:deprecation"
+		    ;;
                 JREgcj-4*)
 		    try_java=true
 		    JTYPE="GCJ"