From 2879b73fac31cfa85ee1df16facc66377f59807e Mon Sep 17 00:00:00 2001
From: Jakob Heher <jakob.heher@iaik.tugraz.at>
Date: Tue, 3 May 2022 16:52:47 +0200
Subject: properly inform VS Code of the new java version we're using

---
 pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 33eb6cb0..e1bd6859 100644
--- a/pom.xml
+++ b/pom.xml
@@ -89,6 +89,7 @@
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+		<java.version>17</java.version>
 		<maven.compiler.release>17</maven.compiler.release>
 		<pdfover-build.root-dir>${project.basedir}</pdfover-build.root-dir>
 	</properties>
@@ -131,7 +132,7 @@
 				<plugin>
 					<artifactId>maven-compiler-plugin</artifactId>
 					<groupId>org.apache.maven.plugins</groupId>
-					<version>3.7.0</version>
+					<version>3.10.1</version>
 					<configuration>
 						<verbose>true</verbose>
 						<showWarnings>true</showWarnings>
-- 
cgit v1.2.3