update java version in docker
@@ -23,6 +23,7 @@ pipeline {
sh '''
apt-get update
apt-get install -y git debhelper maven openjdk-8-jdk cmake libboost-test-dev libyaml-cpp-dev libjemalloc-dev flex bison clang-6.0 zlib1g-dev libgmp-dev libmpfr-dev gcc z3 libz3-dev opam pkg-config curl
+ update-alternatives --set java /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java
k-distribution/src/main/scripts/bin/k-configure-opam-dev
curl https://sh.rustup.rs -sSf | sh -s -- -y
. $HOME/.cargo/env
