#15, #16, #17: Disabled PKCS provider to workaround OpenJDK issue.