From 6abc31cf2659170e75054250b4a3b9d5ae4dd13d Mon Sep 17 00:00:00 2001
From: Andrew Berezovskyi <andriib@kth.se>
Date: Sat, 8 Jul 2023 20:09:42 +0200
Subject: [PATCH] Switch to Jave 1.8 source level

Otherwise, the code cannot be built using JDK 17.

Signed-off-by: Andrew Berezovskyi <andriib@kth.se>
---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index dc41fa6..95d020f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -32,8 +32,8 @@
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-		<maven.compiler.target>1.6</maven.compiler.target>
-		<maven.compiler.source>1.6</maven.compiler.source>
+		<maven.compiler.target>1.8</maven.compiler.target>
+		<maven.compiler.source>1.8</maven.compiler.source>
 		<nxparser.version>1.2.10</nxparser.version>
 	</properties>