pac4j: Java web security for CAS 6.1.1 API