Editing: ProviderException.php