Revert "Change java version to OpenJDK 17"

This reverts commit 78ae198.
WISVCH · Nov 20, 2024 · fbb8915 · fbb8915
1 parent 78ae198
commit fbb8915
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/judgehost/Dockerfile b/docker/judgehost/Dockerfile
@@ -20,7 +20,7 @@ RUN apt update \
 	acl zip unzip supervisor sudo procps libcgroup-dev \
 	php-cli php-zip php-gd php-curl php-mysql php-json \
 	php-gmp php-xml php-mbstring python3 \
-	gcc g++ openjdk-17-jre-headless openjdk-17-jdk-headless ghc fp-compiler \
+	gcc g++ default-jre-headless default-jdk-headless ghc fp-compiler \
 	&& rm -rf /var/lib/apt/lists/*
 
 # Install more languages