From 869e2add38b68bc48b7c3fd75b9c898576344860 Mon Sep 17 00:00:00 2001
From: Jesper Gravgaard <jg@ramboll.com>
Date: Wed, 26 Aug 2020 11:20:28 +0200
Subject: [PATCH] Updated JDK

---
 kickc.iml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kickc.iml b/kickc.iml
index 79ad25895..0468924bf 100644
--- a/kickc.iml
+++ b/kickc.iml
@@ -9,7 +9,7 @@
       <sourceFolder url="file://$MODULE_DIR$/src/test/java" isTestSource="true" />
       <excludeFolder url="file://$MODULE_DIR$/target" />
     </content>
-    <orderEntry type="jdk" jdkName="11" jdkType="JavaSDK" />
+    <orderEntry type="inheritedJdk" />
     <orderEntry type="sourceFolder" forTests="false" />
     <orderEntry type="library" scope="PROVIDED" name="Maven: org.antlr:antlr4:4.8-1" level="project" />
     <orderEntry type="library" scope="PROVIDED" name="Maven: org.antlr:ST4:4.3" level="project" />