Editing: CodeCoverageFileExistsException.php