From fb55c1dddc5a497152007ae3a29062d2a6cf9c07 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Mon, 10 Oct 2022 09:34:32 +0200
Subject: [PATCH] Run default JDK

---
 modules/home.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/home.nix b/modules/home.nix
index 2c62426..0a20225 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -57,7 +57,7 @@
     inkscape
     leiningen
     nixpkgs-fmt
-    openjdk17_headless
+    jdk
     pandoc
     parallel
     poppler_utils