Well, documentation says that every module needs a mod.json. This is a non runnable one, but still a module.
http://vertx.io/mods_manual.html#module-descriptor-file-modjson

But I agree, it is not needed here.