我找不到合适的环境变量，但找到了一个替代解决方案。添加到 bash_profile 为我工作

I couldn't find the appropriate environment variable to set but found an alternate solution. Adding this to bash_profile works for me

export _JAVA_OPTIONS="-Dhttp.proxyHost=my-proxy-server -Dhttp.proxyPort=1080 -DsocksProxyHost=my-socks-server"