[jan] Update to PHPUnit 4.1.3.