[jb] respect GW user settings (proxies, certificates)

[akosyakov]

Description

Respect user settings (proxies, certificates) of JetBrains Gateway while connecting to Gitpod API.

Related Issue(s)

fix #10694

How to test

Test for regressions:

• download a version of JB Gateway plugin from JB Marketplace [1]
• install it manually following this instruction [2]
  • make sure to click apply and restart IDE
• check whether that you still can see list of workspaces on gitpod.io
• start a workspace in preview envs with IntelliJ and check that it can connect as well

A customer already confirmed that changes working in regards of respecting settings. [1]

Release Notes

Respect user settings (proxies, certificates) of JetBrains Gateway while connecting to Gitpod API.

Documentation

Werft options:

• /werft with-preview

[akosyakov]

/werft run

👍 started the job as gitpod-build-ak-gw-settings.3
(with .werft/ from main)

[werft-gitpod-dev-com]

started the job as gitpod-build-ak-gw-settings.2 because the annotations in the pull request description changed
(with .werft/ from main)

[felladrin]

Working great! ✅

Here are some screenshots taken during tests:

I've also noticed the implementation affected only these files:

• GitpodConnectionService.kt
• GatewayGitpodClient.kt
• GitpodServerLauncher.java

The other files affected were just reformatted (blank lines at the end of the file and removal of the semi-colons).