Missing proxy settings for Coursier when resolving Java Home

[unlsycn]

Describe the bug

To Reproduce Steps to reproduce the behavior:

Start metals-vscode in a environment without JDK, and then coursier will try to fetch JDK while running coursier java --jvm temurin:${javaVersion} -version.

Expected behavior

Pass proxy settings when running coursier.

Installation:

• Operating system: Linux
• VSCode version: 1.92.2
• VSCode extension version: 1.39.0
• Metals version: 1.3.5

[unlsycn]

Thanks for your fix, but this problem still seems to exist in 1.40.0.
When I start metals-vscode with either $JAVA_OPTS or .jvmopts, it executes ~/.metals/cs java --jvm temurin:17 -version without proper arguments.

[unlsycn]

Thanks for your fix, but this problem still seems to exist in 1.40.0. When I start metals-vscode with either $JAVA_OPTS or .jvmopts, it executes ~/.metals/cs java --jvm temurin:17 -version without proper arguments.

Oh, I think I figured out what the problem is:
Only the getJavaOptions function tries to get $JAVA_OPTS and .jvmopts, but this function was never called and setupCoursier only gets the settings from the configuration item serverProperties. I don't konw if this behavior is reasonable.

[tgodzik]

Ach, right, let's try #1547

Once it's merged you can try out the prerelease version.