Editing: CodeCoverageException.php