#!/bin/bash

if [ "$1" == "" ]
then
  echo "Set current Java version level"
  echo ""
  echo "Use: $0 <7|8>"
  exit 1
fi

export JAVA_HOME=/usr/lib/jvm/java-$1-openjdk-amd64
export PATH=$JAVA_HOME/bin:$JAVA_HOME/jre/bin:$PATH

echo "Java set to: $(which java)"

if [[ "$1" == "11" ]]
then
   # See Bazel Issue 3236 with Java 11 [https://github.com/bazelbuild/bazel/issues/3236]
   export BAZEL_OPTS="$BAZEL_OPTS --sandbox_tmpfs_path=/tmp"
fi