Update gitpod environment to not a) install two tla extensions and b) Java

Author: lemmy

.gitpod.Dockerfile

@@ -1,6 +1,6 @@
 FROM gitpod/workspace-full-vnc
 RUN sudo apt-get update && \
-    sudo apt-get install -y graphviz htop
+    sudo apt-get install -y graphviz htop openjdk-11-jre-headless
 
 RUN wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0.deb && \
     sudo dpkg -i TLAToolbox-1.8.0.deb

.gitpod.yml

@@ -21,7 +21,4 @@ github:
 
 vscode:
   extensions:
-    - alygin.vscode-tlaplus
-    - tintinweb.graphviz-interactive-preview
-    - cssho.vscode-svgviewer
     - tomoki1207.pdf