diff --git a/micropolis-java/build.xml b/micropolis-java/build.xml
index 6d64d40a..53f147f5 100644
--- a/micropolis-java/build.xml
+++ b/micropolis-java/build.xml
@@ -77,7 +77,7 @@
        classpathref="build-classpath"
 	includeantruntime="false"
 	debug="true" debuglevel="lines,vars,source"
-	source="1.6" target="1.6"
+	source="17" target="17"
        >
 	<compilerarg value="-Xlint:unchecked" />
 	<compilerarg value="-Xlint:deprecation" />