update doc with vertx-pac4j