update configs for more minimalisting environment

.gitpod.Dockerfile

@@ -1,4 +1,4 @@
-FROM gitpod/workspace-full
+FROM gitpod/workspace-base
 
 USER gitpod
 
@@ -11,4 +11,9 @@ USER gitpod
 #
 # More information: https://www.gitpod.io/docs/config-docker/
 
-RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh && sdk install java 8.0.292.hs-adpt"
+# Install Java 8 and 16
+RUN sudo apt-get -q update && \
+    sudo apt install -yq openjdk-8-jdk openjdk-16-jdk
+
+# This is so that you can use java 8 until such a time as you switch to java 16
+RUN sudo update-java-alternatives --set java-1.8.0-openjdk-amd64

.gitpod.yml

@@ -7,13 +7,12 @@ ports:
 
 vscode:
   extensions:
-    - eamodio.gitlens
-    - github.vscode-pull-request-github
+    - ms-azuretools.vscode-docker
     - redhat.java
     - richardwillis.vscode-gradle
     - vscjava.vscode-java-debug
+    - vscode.github
 
 
 tasks:
-  - init: ./gradlew
-    command: ./gradlew genSources
+  - init: ./gradlew

.vscode/settings.json

@@ -11,17 +11,5 @@
 		"**/.editorconfig": true,
     },	
 	
-	"java.configuration.updateBuildConfiguration": "automatic",
-	"java.home": "/home/gitpod/.sdkman/candidates/java/11.0.10.fx-zulu",
-	"java.configuration.runtimes": [
-		{
-		  "name": "JavaSE-1.8",
-		  "path": "/home/gitpod/.sdkman/candidates/java/current",
-		  "default": true
-		},
-		{
-		  "name": "JavaSE-11",
-		  "path": "/home/gitpod/.sdkman/candidates/java/11.0.10.fx-zulu",
-		}
-	]
+	"java.configuration.updateBuildConfiguration": "automatic"
 }