Proxy Settings - Multiple

(from josempolm (JP) · GitHub)
Hello there,

How many proxies can I add? And can I use them at random.

http.proxy.host=
http.proxy.port=8080
http.proxy.username=
http.proxy.password=

(from github.com/marevol)
You can set it at each web config.
See #1066.