fix: missing vertx#1003

BFergerson wants to merge 6 commits into

mastersourceplusplus/interface-jetbrains:masterfrom

missing-vertxsourceplusplus/interface-jetbrains:missing-vertxCopy head branch name to clipboard