Fatal error: Class 'PhpSpec\ObjectBehavior' not found in D:\xampp\htdocs\html5games\vendor\phpspec\prophecy\spec\Prophecy\Doubler\ClassPatch\HhvmExceptionPatchSpec.php on line 9