Fatal error: Class 'Prophecy\Exception\Doubler\DoubleException' not found in /opt/lampp/htdocs/vendor/phpspec/prophecy/src/Prophecy/Exception/Doubler/MethodNotFoundException.php on line 15