pac4j: Java web security for CAS 5.6.0 API