chore(deps): bump org.dafny:DafnyRuntime in /TestVectors/runtimes/java (#275)

Author: dependabot[bot]

TestVectors/runtimes/java/build.gradle.kts

@@ -70,7 +70,7 @@ repositories {
 val dynamodb by configurations.creating
 
 dependencies {
-    implementation("org.dafny:DafnyRuntime:4.0.0")
+    implementation("org.dafny:DafnyRuntime:4.1.0")
     implementation("software.amazon.smithy.dafny:conversion:0.1")
     implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.0.0-preview-2")
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:3.0.0-preview-2")