change to Java 17

Barry de Graaff · Barry de Graaff · commit 4dec4d5b7040 · 2022-08-24T14:14:48.000+02:00
diff --git a/build.xml b/build.xml
@@ -27,8 +27,8 @@
                includeantruntime="false"
                debug="true"
                debuglevel="lines,vars,source"
-               target="13"
-               source="13">
+               target="17"
+               source="17">
             <classpath>
                 <path refid="libraries" />
             </classpath>
