[aerogear-issues] [JBoss JIRA] (AGPUSH-327) Fix server-vertx module name and version