Adapt to changes in krypt-provider-jdk