Move to vertx#1389

supertick wants to merge 3 commits intodevelopMyRobotLab/myrobotlab:developfrom

move-to-vertxMyRobotLab/myrobotlab:move-to-vertxCopy head branch name to clipboard