From 45c1310f104e87cc5eb31e43531d06578f25e4d0 Mon Sep 17 00:00:00 2001
From: Jean-Marc Meessen <jean-marc@meessen-web.org>
Date: Fri, 29 Jul 2022 15:31:21 +0200
Subject: [PATCH] Gitpodify repository PR to add Gitpod configuration.
 Accommodates Java 17 requirement for VSC Language server

---
 .gitpod.Dockerfile |  8 ++++++++
 .gitpod.yml        | 16 ++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 .gitpod.Dockerfile
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
new file mode 100644
index 0000000..b4e74a9
--- /dev/null
+++ b/.gitpod.Dockerfile
@@ -0,0 +1,8 @@
+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
new file mode 100644
index 0000000..9675fb7
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,16 @@
+# 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
+
+vscode:
+  extensions:
+    - bierner.markdown-preview-github-styles
+    - vscjava.vscode-java-pack
+    - redhat.java
+    - vscjava.vscode-java-debug
+    - vscjava.vscode-java-dependency
+    - vscjava.vscode-java-test
+    - vscjava.vscode-maven