diff --git a/.gitignore b/.gitignore
index 41f03c02..781a8710 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 .DS_Store
 **/.gradle/
 **/build/
+**/bin/
 
 ## From https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
 
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 3e9be177..f202a738 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -83,7 +83,7 @@
       </value>
     </option>
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="17" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="openjdk-17" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file
diff --git a/build.gradle b/build.gradle
index eeceece8..cb5dcb0e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -6,7 +6,7 @@ plugins {
 ext {
     clojarsusername = project.properties['clojarsusername'] ?: ""
     clojarspassword = project.properties['clojarspassword'] ?: ""
-    krystal_version = '8.0.2'
+    krystal_version = '8.0.3'
 }
 
 checkerFramework {