pac4j: Java web security for CAS 6.0.2 API