+
+if ! [ -d "$JAVA_HOME" ]; then
+ echo "$JAVA_HOME directory not found - trying to find an approaching one"
+ if ls -d "$JAVA_HOME"*; then
+ export JAVA_HOME=$(ls -d "$JAVA_HOME"* | head -1)
+ else
+ echo "no $JAVA_HOME directory nor candidate found -exiting " >&2
+ exit 17
+ fi
+fi
+
+sudo $alternatives --install /usr/bin/java java "${JAVA_HOME}/bin/java" 1
+sudo $alternatives --install /usr/bin/javac javac "${JAVA_HOME}/bin/javac" 1
+sudo $alternatives --install /usr/lib/jvm/java-openjdk java_sdk_openjdk "${JAVA_HOME}" 1
+sudo $alternatives --set java "${JAVA_HOME}/bin/java"
+sudo $alternatives --set javac "${JAVA_HOME}/bin/javac"
+sudo $alternatives --set java_sdk_openjdk "${JAVA_HOME}"
+echo JAVA_HOME="$JAVA_HOME" > "$JAVA_ENV_FILE"
+