# HG changeset patch
# User Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
# Date 1702562368 -3600
# Node ID 8053a633f5481e172fd92dda81c2dc945721676f
# Parent  4c35009cd59c48709d75d89c3f38f5388c26697c
sources are compliant with java 8

diff --git a/build_jre17.xml b/build_jre17.xml
--- a/build_jre17.xml
+++ b/build_jre17.xml
@@ -41,7 +41,7 @@ Copyright 1997 - July 2008 CWI, August 2
 
   <property name="jvm.version" value="17" />
   <property name="jre.version" value="jre17" />
-  <property name="javac.flags" value="-source 17" />
+  <property name="javac.flags" value="-source 8" />
   <property name="javac.flags" value="-target 17" />
   <property name="javac.flags" value="-profile compact2" />
   <property name="javac.flags" value="-Xlint" />