Update PHPUnit to 4.1.3