PHPUnit 4.2