Im nächsten Update werden wir die Proxy-Einstellungen auch für https setzen.
Aber mal ne dumme Frage:
Was muss an den Plugins geändert werden? Werden die Proxy-Einstellungen nicht global für die JVM gesetzt?