fix java version for Github Action

pgdurand · Mar 10, 2023 · 8f658f9 · 8f658f9
1 parent bc7e290
commit 8f658f9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build.xml b/build.xml
@@ -98,6 +98,7 @@
           <or>
             <equals arg1="1.8" arg2="${ant.java.version}" />
             <equals arg1="1.9" arg2="${ant.java.version}" />
+            <equals arg1="9" arg2="${ant.java.version}" />
           </or>
         </not>
       </condition>