From 590cfd8b7133631f214424a1779b7274d98457f4 Mon Sep 17 00:00:00 2001
From: Yair Morgenstern <yairm210@hotmail.com>
Date: Sun, 28 Jan 2024 13:04:53 +0200
Subject: [PATCH] Fix docker jdk to 17

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 129bda4b8e..1deb46b0ef 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,7 +3,7 @@ FROM $ARG_COMPILE_BASE_IMAGE as build
 USER root
 RUN  apt update && \
         apt upgrade -y && \
-        apt install --fix-broken -y wget curl default-jre default-jdk unzip
+        apt install --fix-broken -y wget curl openjdk-17-jdk openjdk-17-jre unzip
 WORKDIR /src
 # Get dependencies
 RUN wget -q -O packr-all-4.0.0.jar https://github.com/libgdx/packr/releases/download/4.0.0/packr-all-4.0.0.jar && \