Applied https://github.com/eclipse/vert.x/pull/857 manually