: **************************************************
:: ** Proxy Server Details **
:: **************************************************
REM In case of HTTP proxy:
REM SET PROXY_DETAILS="-Dhttp.proxyHost=xxx" "-Dhttp.proxyPort=xxx"
REM In case of HTTPS proxy:
REM SET PROXY_DETAILS="-Dhttps.proxyHost=xxx" "-Dhttps.proxyPort=xxx"
REM In case of proxy with authentication:
REM SET PROXY_DETAILS="-Dhttps.proxyHost=xxx" "-Dhttps.proxyPort=xxx" "-Dhttps.proxyUser=xxx" "-Dhttps.proxyPassword=xxx"
REM where xxx needs to replaced by appropriate values in your environment