$JAVA_HOME not used on mac os

In the batch file, the JRE is located using "/usr/libexec/java_home". This strategy is not compliant with the use of SDKMAN. We must force use of $JAVA_HOME