From eb66ccbd0df04e4cc2f8e872d1ed4c0bb5c02ab0 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Thu, 28 Dec 2023 10:49:42 +0300
Subject: [PATCH] .idea/misc.xml: use Java 17

Latest IDEA configuration after updating settings in the IDE.
---
 .idea/misc.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 972ec8d..6441899 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,11 +1,13 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
+  <component name="ExternalStorageConfigurationManager" enabled="true" />
   <component name="MavenProjectsManager">
     <option name="originalFiles">
       <list>
         <option value="$PROJECT_DIR$/pom.xml" />
       </list>
     </option>
+    <option name="workspaceImportForciblyTurnedOn" value="true" />
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="11" project-jdk-type="JavaSDK" />
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="17" project-jdk-type="JavaSDK" />
 </project>
\ No newline at end of file