From fbb89154a22e67d805f82858e59056dec1c34ae2 Mon Sep 17 00:00:00 2001 From: Joshua Gort Date: Wed, 20 Nov 2024 14:18:48 +0100 Subject: [PATCH] Revert "Change java version to OpenJDK 17" This reverts commit 78ae1989a97f27ba19b2e5e2b34b9e14cd3e6a83. --- docker/judgehost/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/judgehost/Dockerfile b/docker/judgehost/Dockerfile index 32ca9b4..7b6e23a 100644 --- 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