pac4j: Java web security for CAS 6.0.1 API