From dd0225bdde303cc739fed60c9aff28b63b868997 Mon Sep 17 00:00:00 2001
From: Michael Peter Christen <mc@yacy.net>
Date: Fri, 10 Jul 2026 22:47:39 +0200
Subject: We migrate to JDK 17 This  is a hard requirement to be able to
 migrate to a more recent jetty version, which may happen sometime soon.

---
 build.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index 2aad2974a..b4f28e0f7 100644
--- a/build.xml
+++ b/build.xml
@@ -179,8 +179,8 @@
     <echo message="project.class.path: ${toString:project.class.path}" />
     <javac srcdir="${src}/" destdir="${build}"
            debug="true" debuglevel="lines,vars,source" includeantruntime="false"
-           source="${javacSource}" target="${javacTarget}" encoding="UTF-8"
-	   nowarn="on">
+	       release="${javacRelease}" encoding="UTF-8"
+		   nowarn="on">
       <classpath refid="project.class.path" />
       <compilerarg value="-Xlint:unchecked"/>
     </javac>
@@ -336,8 +336,8 @@
   <!-- run unittests-->
   <target name="compileTest" depends="compile" description="run unittests">
       <javac srcdir="${test}" destdir="${test}"
-           debug="true" debuglevel="lines,vars,source"
-           source="${javacSource}" target="${javacTarget}" encoding="UTF-8">
+           debug="true" debuglevel="lines,vars,source" includeantruntime="false"
+           release="${javacRelease}" encoding="UTF-8">
       <classpath>
         <pathelement location="${build}"/>
         <path refid="compile.path"/>
-- 
cgit v1.2.3