A change in PHPunit 3.5 slipped my attention. For the code-coverage as reported by PHPUnit, the following tag is ignored by PHPunit 3.5:

* @codeCoverageIgnoreStart

but:

// @codeCoverageIgnoreStart

does work as expected.