PHPUnit_Framework_Exception::__toString