Anpassung an PHPUnit 3.6