# This by default does nothing.

# If you want to use your system java, or a custom java that is not the
# selfcontained jdk from ext-cli, then uncomment and edit the following

#export JAVA_HOME=/path-to-java-folder (that contains bin, lib, include etc)
#export PATH=$JAVA_HOME/bin:$PATH
#echo "+ Setting JAVA_HOME to:"
#echo "+   $JAVA_HOME"
#echo "+ and updating PATH"