This can now (and should be) tested with PHPUnit 4.0