From 0eb0bb5145876e9954bebcd5cad24c5d7bc31b9a Mon Sep 17 00:00:00 2001
From: Cheng XU <git@xuc.me>
Date: Wed, 24 May 2023 14:57:28 -0700
Subject: [PATCH] setup.sh: upgrade jdk to 17

---
 setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.sh b/setup.sh
index 4f7ba81..cbc1533 100755
--- a/setup.sh
+++ b/setup.sh
@@ -33,7 +33,7 @@ apk --no-cache add \
   git \
   graphviz \
   make \
-  openjdk11-jre-headless \
+  openjdk17-jre-headless \
   perl \
   py-pygments \
   python3 \