Updated to PHPUnit 4.2.x