--- build/build.xml 2024-02-25 20:09:56.345990216 +0100 +++ build/build.xml 2024-02-25 21:25:06.651720006 +0100 @@ -141,7 +141,9 @@ + @@ -255,6 +257,7 @@ encoding="UTF-8" debug="${debug}" target="${javac.target}" + release="${javac.release}" source="${javac.source}" deprecation="${deprecation}" optimize="${optimize}"