pac4j: Java web security for CAS 6.1.2 API