From e748789308194fe4f64edfb174fd284813da26cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hallvard=20Tr=C3=A6tteberg?= <hal@ntnu.no>
Date: Mon, 3 Aug 2020 13:58:22 +0200
Subject: [PATCH] Bump sdk to 14.0.2

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

diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile
index e33046d..f8326ea 100644
--- a/.gitpod.dockerfile
+++ b/.gitpod.dockerfile
@@ -1,5 +1,5 @@
 FROM gitpod/workspace-full-vnc
 
 RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
-             && sdk install java 14.0.1.j9-adpt \
-             && sdk default java 14.0.1.j9-adpt"
+             && sdk install java 14.0.2.j9-adpt \
+             && sdk default java 14.0.2.j9-adpt"
-- 
GitLab