#12 SessionException.php renamed to sessionexception.php.