From dede5d183566cf82a2ce9d6c564e2a450db73637 Mon Sep 17 00:00:00 2001
From: rubenpirreram <rubenmaria.pirrera@mail.polimi.it>
Date: Tue, 12 May 2026 14:30:16 +0200
Subject: [PATCH] Update misc.xml

---
 .idea/misc.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 078a25f..a2cda41 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -8,7 +8,7 @@
       </list>
     </option>
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_26" default="true" project-jdk-name="openjdk-26" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_25" default="true" project-jdk-name="25" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
-</project>
\ No newline at end of file
+</project>