From c20c61980ef13b99286ec5a20eb49fee102cd583 Mon Sep 17 00:00:00 2001
From: Jean-Marc MEESSEN <jean-marc@meessen-web.org>
Date: Mon, 12 Sep 2022 19:28:11 +0000
Subject: [PATCH] Optimize Gitpod config

---
 .gitpod.Dockerfile | 8 --------
 .gitpod.yml        | 6 +-----
 2 files changed, 1 insertion(+), 13 deletions(-)
 delete mode 100644 .gitpod.Dockerfile

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
deleted file mode 100644
index b4e74a9..0000000
--- a/.gitpod.Dockerfile
+++ /dev/null
@@ -1,8 +0,0 @@
-FROM gitpod/workspace-full
-
-USER gitpod
-
-RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh && \
-    sdk install java 17.0.3-tem && \
-    sdk install java 11.0.15-tem  && \
-    sdk default java 17.0.3-tem"
diff --git a/.gitpod.yml b/.gitpod.yml
index 9675fb7..a096e0d 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,9 +1,5 @@
-# Using an updated Gitpod docker image (when using a non default JDK or tools)
-image:
-  file: .gitpod.Dockerfile
-
 tasks:
-  - init: sdk default java  11.0.15-tem && mvn clean verify
+  - init: mvn clean verify
 
 vscode:
   extensions: