Switch to headless JDK

This is what the manual now suggests, and it's more consistent with
dj_make_chroot which uses default-jre-headless.

Not updating debian/control and live-image/install.sh for now because
they are legacy or currently untested.

Author: tom93

docker-contributor/Dockerfile

@@ -32,7 +32,7 @@ RUN apt-get update \
     texlive-latex-recommended texlive-latex-extra \
     texlive-fonts-recommended texlive-lang-european latexmk \
     sudo debootstrap libcgroup-dev procps \
-    default-jre-headless default-jdk \
+    default-jre-headless default-jdk-headless \
     supervisor apache2-utils lsb-release \
     libcurl4-gnutls-dev libjsoncpp-dev libmagic-dev \
     enscript lpr ca-certificates less vim \

docker-gitlabci/Dockerfile

@@ -5,7 +5,7 @@ ENV APTINSTALL="apt-get install -y -o Dpkg::Options::=--force-confdef -o Dpkg::O
 RUN apt-get update && apt-get install -y \
   acl make zip unzip apache2-utils bsdmainutils libcurl4-gnutls-dev \
   libjsoncpp-dev libmagic-dev autoconf automake bats sudo debootstrap procps \
-  gcc g++ default-jre-headless default-jdk ghc fp-compiler libcgroup-dev \
+  gcc g++ default-jre-headless default-jdk-headless ghc fp-compiler libcgroup-dev \
   devscripts shellcheck nginx libboost-regex-dev composer codespell \
   php8.3 php8.3-cli php8.3-gd php8.3-curl php8.3-mysql php8.3-gmp php8.3-zip php8.3-xml php8.3-mbstring php8.3-fpm php8.3-intl php8.3-pcov \
   # Submit client \

docker/judgehost/Dockerfile

@@ -17,7 +17,7 @@ RUN apt-get update \
 	acl lsof zip unzip supervisor sudo procps libcgroup2 \
 	php-cli php-zip php-gd php-curl php-mysql php-json \
 	php-gmp php-xml php-mbstring python3 \
-	gcc g++ default-jre-headless default-jdk ghc fp-compiler \
+	gcc g++ default-jre-headless default-jdk-headless ghc fp-compiler \
 	&& rm -rf /var/lib/apt/lists/*
 
 # Add chroot and judgehost data