Connection failure: timed out

[xedo]

At the moment that I write this issue, the http://eclipse.org is out of service. May be will be a good Idea add the possibility of change the mirror to download jetty

[php-coder]

Hello,
thank you for your ticket! I'm agree that it would be a good improvement. May be do you want to provide PR for that? :)