Editing: ConfigurationExceptionInterface.php