# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
##############################################################################
-
+echo "---> update-java-alternatives.sh"
# This script takes the java-version variable to set the proper alternative
# for java, javac and java_sdk_openjdk for ubuntu or centos/fedora/redhat distros
update-java-redhat() {
if [[ "${SET_JDK_VERSION//[a-zA-Z]/}" = "11" ]]; then
export JAVA_HOME="/usr/lib/jvm/java-11-openjdk"
+ elif [[ "${SET_JDK_VERSION//[a-zA-Z]/}" = "12" ]]; then
+ export JAVA_HOME="/usr/lib/jvm/java-12-openjdk"
else
export JAVA_HOME="/usr/lib/jvm/java-1.${SET_JDK_VERSION//[a-zA-Z:-]/}.0-openjdk"
fi