OK, after a few days of doing other things I came back to this issue and have solved it.
I updated PHPUnit to the latest version (as of today, 1 August 2013) via PEAR and the issue has gone away.
The lesson: try updating everything and not just one component!