diff --git a/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj b/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
index 682400ef4..826574a2a 100644
--- a/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
+++ b/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
@@ -25,7 +25,7 @@
     <PackageReference Include="xunit.runner.visualstudio" Version="2.4.0" />
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="16.11.0" />
     <!-- AWSSDK.SecurityToken is included for the Client Supplier Example -->
-    <PackageReference Include="AWSSDK.SecurityToken" Version="3.7.1" />
+    <PackageReference Include="AWSSDK.SecurityToken" Version="4.*" />
     <PackageReference
             Include="Microsoft.NETFramework.ReferenceAssemblies"
             Version="1.0.0"
diff --git a/mpl b/mpl
index 03c999c72..e6bdbae3b 160000
--- a/mpl
+++ b/mpl
@@ -1 +1 @@
-Subproject commit 03c999c72426158b06988cc31155454808d6baa1
+Subproject commit e6bdbae3b57ba227434f196b80d8c26e5baaaf4f
diff --git a/project.properties b/project.properties
index cc17413a5..6217e563b 100644
--- a/project.properties
+++ b/project.properties
@@ -4,6 +4,6 @@ dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyFormatVersion=4.9.0
 projectJavaVersion=4.1.0
-mplDependencyJavaVersion=1.11.1-SNAPSHOT
+mplDependencyJavaVersion=1.11.2-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1