IndexProvider provider = providers.remove(providerName);
if (provider == null) {
throw new NoSuchProviderException(JcrI18n.indexProviderDoesNotExist.text(providerName, repository.name()));
}
if (initialized.get()) {
provider.shutdown();
}
// Re-read the index definitions in case there were disabled index definitions that used the now-available provider ...
readIndexDefinitions();