Sync with PHPUnit 4.0.