I've been keeping track of the defaults in `ProviderConfigurer.java`