diff --git a/TestVectors/runtimes/java/build.gradle.kts b/TestVectors/runtimes/java/build.gradle.kts
index d5839b95c..62b9cf443 100644
--- a/TestVectors/runtimes/java/build.gradle.kts
+++ b/TestVectors/runtimes/java/build.gradle.kts
@@ -90,7 +90,7 @@ dependencies {
     implementation("software.amazon.smithy.dafny:conversion:${smithyDafnyJavaConversionVersion}")
     implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:${ddbecVersion}")
-    implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:1.8.0-SNAPSHOT")
+    implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:${mplVersion}")
 
     implementation(platform("software.amazon.awssdk:bom:2.26.25"))
     implementation("software.amazon.awssdk:dynamodb")
diff --git a/project.properties b/project.properties
index 584f9f1ec..99cdd29ef 100644
--- a/project.properties
+++ b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.8.0
-mplDependencyJavaVersion=1.8.0
+mplDependencyJavaVersion=1.9.0
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 5808fbfd1..51ccca1c0 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 5808fbfd13ed12eb258883010626e1ae75708089
+Subproject commit 51ccca1c05088a984d201ac2e2d27dd9229d7b2c
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
index 5fb3f25ea..186339f25 160000
--- a/submodules/smithy-dafny
+++ b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 5fb3f25ea3444c51b2ad30b25ab03964cf866cd1
+Subproject commit 186339f258f9116a3c25cc781c747ab0e94e9dc6