This is PHPUnit 4.2