From 8cc598b952aa82cce7c71d975e1f5c2278b4d209 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hallvard=20Tr=C3=A6tteberg?= <hal@ntnu.no>
Date: Wed, 5 May 2021 22:00:13 +0000
Subject: [PATCH] Update .gitpod.Dockerfile to 16.0.1 hotspot

---
 .gitpod.Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index bac8a45..0d52ba6 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -9,5 +9,5 @@ RUN apt -y install graphviz
 USER gitpod
 
 RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
-             && sdk install java 16.0.0.j9-adpt \
-             && sdk default java 16.0.0.j9-adpt"
+             && sdk install java 16.0.1.hs-adpt \
+             && sdk default java 16.0.1.hs-adpt"
-- 
GitLab