Prepare for PHPUnit 4.2 to go stable