eclipse/vert.x — pull request #788 by giovibal (2014-02-01 12:19:26+00:00)
Title: Merge pull request #1 from eclipse/master

done