pac4j manager for vert.x