Using PHPUnit 3.7.*