From b6c7b70300e9cf0c1f4b682c23d276a94d7a5d9a Mon Sep 17 00:00:00 2001
From: Arseniy Pendryak <arseniy.pendryak@jetbrains.com>
Date: Tue, 3 Dec 2024 23:10:09 +0100
Subject: [PATCH] Set proper `jvm_language_level` to 17

IntelliJ plugin development requires JDK 17 at this moment. So, there is no reason to request anything higher from users
---
 course-info.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/course-info.yaml b/course-info.yaml
index 9347e79..ff8591f 100644
--- a/course-info.yaml
+++ b/course-info.yaml
@@ -7,4 +7,4 @@ content:
   - introductionSection
   - psiSection
 environment_settings:
-  jvm_language_level: JDK_20
+  jvm_language_level: JDK_17