From 2f1a07e5c6c504a010b09fd87969c38c2f25b6d1 Mon Sep 17 00:00:00 2001
From: Jean-Marc Tremeaux <jm.tremeaux@sismics.com>
Date: Mon, 20 Nov 2023 11:15:00 +0100
Subject: [PATCH] Upgrade to Play 1.7.1 + JDK 17

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

diff --git a/Dockerfile b/Dockerfile
index c762977..cbba80f 100755
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ MAINTAINER Jean-Marc Tremeaux <jm.tremeaux@sismics.com>
 # Download and install Play Framework
 ENV PLAY_VERSION 1.7.1
 ENV DEBIAN_FRONTEND noninteractive
-RUN apt-get update && apt-get -y install python && rm -rf /var/lib/apt/lists/*
+RUN apt-get update && apt-get -y install python3 && rm -rf /var/lib/apt/lists/*
 RUN wget -nv -O /opt/play-${PLAY_VERSION}.zip https://github.com/playframework/play1/releases/download/${PLAY_VERSION}/play-${PLAY_VERSION}.zip \
     && cd /opt \
     && unzip /opt/play-${PLAY_VERSION}.zip \