vert-x/vert.x — pull request #426 by jenslaufer (2012-11-17 22:13:37+00:00)
Title: Corporate Proxy configuration + Connection to a Repo on different port than 80

I added folllowing:
1. You able to connect to a repo server running on different port than 80
2. You can connect to central vert.x repo through a corporate proxy