From dd0225bdde303cc739fed60c9aff28b63b868997 Mon Sep 17 00:00:00 2001 From: Michael Peter Christen 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.properties | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'build.properties') diff --git a/build.properties b/build.properties index b2c0281d2..17a6c1a37 100644 --- a/build.properties +++ b/build.properties @@ -1,6 +1,5 @@ -# defining some compiler arguments -javacSource=11 -javacTarget=11 +# Java release used for source compatibility, API compatibility and bytecode +javacRelease=17 # Release Configuration releaseVersion=1.941 -- cgit v1.2.3