From b4fc11a68df55d4f309a23ffb452d25917ec5f90 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Paulo=20Sim=C3=B5es=20Martins?=
 <joao.martins@bee-eng.pt>
Date: Sat, 10 Dec 2022 21:30:17 +0000
Subject: [PATCH] MicropolisJ: Fix build option no longer supported

[javac] error: Source option 6 is no longer supported. Use 7 or later.
[javac] error: Target option 6 is no longer supported. Use 7 or later.
---
 micropolis-java/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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" />