From f05310b4f009988604ab5fc62e2d1b77f04e439f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9A=D1=80=D0=B8=D1=81?=
 <1157538+codecraft21@users.noreply.github.com>
Date: Sun, 18 Aug 2019 11:33:57 +0200
Subject: [PATCH] set jdk 8 in the pom

This fixes warnings in VS Code.
Explanation: there is an inconsistency because Maven defaults to jdk 5, while .devcontainers/Dockerfile is based on jdk8.
---
 pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pom.xml b/pom.xml
index b012dcf..da7047b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -15,6 +15,9 @@
       <scope>test</scope>
     </dependency>
   </dependencies>
+  <properties>
+    <jdk.version>1.8</jdk.version>
+  </properties>
   <build>
     <pluginManagement>
       <plugins>