Provider-configuration files for ServiceLoader
