Upgraded Spoon

Author: alcides

liquidjava-example/pom.xml

@@ -22,8 +22,8 @@
 				<artifactId>maven-compiler-plugin</artifactId>
 				<version>${pVersion.compiler}</version>
 				<configuration>
-					<source>1.8</source>
-					<target>1.8</target>
+					<source>20</source>
+					<target>20</target>
 				</configuration>
 			</plugin>
 			<plugin>
@@ -48,8 +48,8 @@
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-		<maven.compiler.source>1.8</maven.compiler.source>
-		<maven.compiler.target>1.8</maven.compiler.target>
+		<maven.compiler.source>20</maven.compiler.source>
+		<maven.compiler.target>20</maven.compiler.target>
 		<!-- versions -->
 		<version.junit>4.13.1</version.junit>
 		<version.memcompiler>1.3.0</version.memcompiler>

liquidjava-verifier/pom.xml

@@ -111,7 +111,7 @@
 		<version.junit>4.13.1</version.junit>
 		<version.memcompiler>1.3.0</version.memcompiler>
 		<version.spoon>10.4.2</version.spoon>
-		<version.z3>4.8.8</version.z3>
+		<version.z3>4.8.17</version.z3>
 		<version.liquidjava>1.0</version.liquidjava>
 		<!-- plugin versions -->
 		<pVersion.compiler>3.8.0</pVersion.compiler>
@@ -140,12 +140,12 @@
 		<dependency>
 			<groupId>fr.inria.gforge.spoon</groupId>
 			<artifactId>spoon-core</artifactId>
-			<version>10.4.2</version>
+			<version>${version.spoon}</version>
 		</dependency>
 		<dependency>
 			<groupId>tools.aqua</groupId>
 			<artifactId>z3-turnkey</artifactId>
-			<version>4.8.17</version>
+			<version>${version.z3}</version>
 		</dependency>
 		<dependency>
 			<groupId>junit</groupId>