Upgrade to PHPUnit 4.1.0