From 915a48b3974c773923be007da12bba39aca3c9b4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 20 Jun 2025 10:53:30 +0200
Subject: [PATCH] Install JDK and not just JRE on Binder

Necessary because we build the kernel on Binder and don't just download
a pre-built jar.
---
 binder/apt.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/apt.txt b/binder/apt.txt
index 9d19d52..c42ebca 100644
--- a/binder/apt.txt
+++ b/binder/apt.txt
@@ -1,2 +1,2 @@
-default-jre-headless
+default-jdk-headless
 graphviz
-- 
GitLab