/**
  * Set the Java security provider to use for all encryption operations. If not specified, the
  * default provider(s) will be used from your java.security file.
  */
 public void setSecurityProvider(Provider provider) {
   EncryptionCodec.setPropSecurityProvider(codecProperties, provider);
 }