eclipse/vert.x — pull request #874 by nscavell (2014-07-11 16:21:04+00:00)
Title: Add binary files by renaming the bin directory since it's in gitignore

So apparently these were never added and were always local to me because we have bin in gitignore :)