Add jdk version set

2020-01-30 20:28:34 +00:00
parent 16d73ba7dd
commit ce15658462
1 changed files with 2 additions and 1 deletions
--- a/.gitpod.dockerfile
+++ b/.gitpod.dockerfile
@@ -9,4 +9,5 @@ USER root
 RUN apt-get update && \
    apt-get -y install build-essential libkrb5-dev gcc make gradle openjdk-8-jdk && \
    apt-get clean && \
-    apt-get -y autoremove
+    apt-get -y autoremove \
+    update-java-alternatives --set /usr/lib/jvm/java-1.8.0-openjdk-amd64