diff --git a/jabref/shell.nix b/jabref/shell.nix index db11e6f7..e7ac3551 100644 --- a/jabref/shell.nix +++ b/jabref/shell.nix @@ -16,7 +16,7 @@ let openjfx_jdk = unstable.openjfx23.override { withWebKit = true; }; }; - gradle = unstable.gradle; + gradle = unstable.gradle.override { java = jdk; }; in (