I have one suggestion regarding the article for configuring proxies.
Quite often it is more convenient to use the system settings, particularly if these tend to be changed by the administrator. For completion, I would suggest to add the following option as an alternative.
<span class="pun">-</span><span class="typ">Djava</span><span class="pun">.</span><span class="pln">net</span><span class="pun">.</span><span class="pln">useSystemProxies</span><span class="pun">=</span><span class="kwd">true</span>
I think it would make the article more complete and help others
Thanks
Julian