java8.patch

   1 --- libgda-5.2.4/m4/java.m4~    2016-05-05 18:28:46.000000000 +0200
   2 +++ libgda-5.2.4/m4/java.m4     2016-05-05 18:39:44.169761450 +0200
   3 @@ -175,6 +175,11 @@
   4                     JTYPE="Sun JRE 1.7"
   5                     JFLAGS="-Xlint:unchecked -Xlint:deprecation"
   6                     ;;
   7 +                JRE1.8.*)
   8 +                   try_java=true
   9 +                   JTYPE="Sun JRE 1.8"
  10 +                   JFLAGS="-Xlint:unchecked -Xlint:deprecation"
  11 +                   ;;
  12                  JREgcj-4*)
  13                     try_java=true
  14                     JTYPE="GCJ"