From 8f658f97abb1265fb07c0c6992d99f6744455758 Mon Sep 17 00:00:00 2001
From: Patrick Durand <patrick@plealog.com>
Date: Fri, 10 Mar 2023 15:49:58 +0100
Subject: [PATCH] fix java version for Github Action

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 23189b5..9eabf52 100644
--- 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>