Files
CMS-Server/lib/Middleware/CASAuthentication.php