I removed this because it doesn't work on php 5.3 with the new phpunit.