Fatal error: Uncaught Error: Class 'Prophecy\Exception\Doubler\DoubleException' not found in D:\svn\bitfx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php:5 Stack trace: #0 {main} thrown in D:\svn\bitfx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php on line 5