Fixes invalid comment

Fixes PHP Parse error:  syntax error, unexpected T_ENCAPSED_AND_WHITESPACE in CAS/CAS/OutOfSequenceBeforeProxyException.php on line 5