From 39e57becc05ce63790592159e955234aa2559c54 Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Thu, 11 May 2023 16:00:57 +0200
Subject: [PATCH] setup docker with Java v17

---
 .github/workflows/buildReporting.yml | 4 ++--
 docker/Dockerfile                    | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/buildReporting.yml b/.github/workflows/buildReporting.yml
index 6979e11e..0f5a9847 100644
--- a/.github/workflows/buildReporting.yml
+++ b/.github/workflows/buildReporting.yml
@@ -71,10 +71,10 @@ jobs:
       name: Checkout repository
       uses: actions/checkout@v3
     -
-      name: Set up JDK 11
+      name: Set up JDK 17
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'adopt'
     -
       name: Cache Maven packages
diff --git a/docker/Dockerfile b/docker/Dockerfile
index 1f72da5f..98ffecb8 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -1,4 +1,4 @@
-FROM openjdk:11-jre-stretch
+FROM openjdk:17-jdk-slim
 
 ENV SERVER_PORT="8080"
 ENV JMX_PORT=