diff options
| author | Michael Peter Christen <mc@yacy.net> | 2026-07-10 22:47:39 +0200 |
|---|---|---|
| committer | Michael Peter Christen <mc@yacy.net> | 2026-07-10 22:47:39 +0200 |
| commit | dd0225bdde303cc739fed60c9aff28b63b868997 (patch) | |
| tree | 85eae959ab5528e8e6a665c5266961600ff3c32e /build.properties | |
| parent | 3950a4f49b0c5ba3e2b494325520f0d03ec23ff5 (diff) | |
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.
Diffstat (limited to 'build.properties')
| -rw-r--r-- | build.properties | 5 |
1 files changed, 2 insertions, 3 deletions
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
|