From 9f1ec93c873059e80d762313a738f0912abe4272 Mon Sep 17 00:00:00 2001
From: Daniel Naber <naber@danielnaber.de>
Date: Sat, 31 Oct 2020 22:25:27 +0100
Subject: [PATCH] use Java 8 in gitpod

---
 .gitpod.Dockerfile | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .gitpod.Dockerfile

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
new file mode 100644
index 000000000000..4490fbfc820c
--- /dev/null
+++ b/.gitpod.Dockerfile
@@ -0,0 +1,10 @@
+FROM gitpod/workspace-full
+
+# Install custom tools, runtimes, etc.
+# For example "bastet", a command-line tetris clone:
+# RUN brew install bastet
+#
+# More information: https://www.gitpod.io/docs/config-docker/
+
+RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
+             && sdk install java 8.0.272.open-adpt"