NoClassDefFoundError inside AWS Lambda

[pedrofurlanetto90]

We are migrating to aws-encryption-sdk-java 3.0.1. The code builds without any problem, but when we try to deploy a Lambda we are facing the following error:

java.lang.NoClassDefFoundError: dafny/TypeDescriptor$Initializer
	at software.amazon.cryptography.materialproviders.internaldafny.types.MaterialProvidersConfig.<clinit>(MaterialProvidersConfig.java:33)
	at software.amazon.cryptography.materialproviders.ToDafny.MaterialProvidersConfig(ToDafny.java:1598)

I checked this is Runtime dependency of aws-cryptographic-material-providers like below:

+- com.amazonaws:aws-encryption-sdk-java:jar:3.0.1:compile
|  +- software.amazon.cryptography:aws-cryptographic-material-providers:jar:1.0.2:compile
|  |  +- org.dafny:DafnyRuntime:jar:4.2.0:runtime
|  |  +- software.amazon.smithy.dafny:conversion:jar:0.1:runtime

Could you help me to fix this issue? The only fix is adding Dafny dependency to the POMs? Thanks