Editing: NoCodeCoverageDriverWithPathCoverageSupportAvailableException.php