IDEA-118446 Installation and plugin update (patch) download ignores Settings / HTTP Proxy