Upgrade PHPUnit 4.0