diff --git a/DynamoDbEncryption/runtimes/java/build.gradle.kts b/DynamoDbEncryption/runtimes/java/build.gradle.kts
index 2659e9b08..d60b9550d 100644
--- a/DynamoDbEncryption/runtimes/java/build.gradle.kts
+++ b/DynamoDbEncryption/runtimes/java/build.gradle.kts
@@ -79,14 +79,10 @@ repositories {
 val dynamodb by configurations.creating
 
 dependencies {
-    implementation("org.dafny:DafnyRuntime:${dafnyRuntimeJavaVersion}")
-    implementation("software.amazon.smithy.dafny:conversion:${smithyDafnyJavaConversionVersion}")
     implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
 
     implementation(platform("software.amazon.awssdk:bom:2.26.25"))
-    implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")
-    implementation("software.amazon.awssdk:kms")
 
     testImplementation("org.junit.jupiter:junit-jupiter-api:5.10.2")
     testRuntimeOnly("org.junit.jupiter:junit-jupiter-engine:5.10.2")
diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
index a7563301c..fd0524388 100644
--- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
@@ -57,18 +57,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.16"/>
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
     <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
-    <!--
-              System.Collections.Immutable can be removed once dafny.msbuild is updated with
-              https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-            -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0"/>
-    <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0"/>
-
     <Compile Include="Extern/**/*.cs"/>
     <Compile Include="Generated/**/*.cs"/>
     <Compile Include="src/**/*.cs"/>
diff --git a/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
index c3ccf953b..41bdaa087 100644
--- a/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
@@ -10,16 +10,6 @@
     <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
   </PropertyGroup>
 
-  <ItemGroup>
-    <!--
-      System.Collections.Immutable can be removed once dafny.msbuild is updated with
-      https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-    -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
-    <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0" />
-  </ItemGroup>
-
   <ItemGroup>
     <ProjectReference Include="../DynamoDbEncryption.csproj" />
     <Compile Include="TestsFromDafny.cs" />
diff --git a/Examples/runtimes/java/DynamoDbEncryption/build.gradle.kts b/Examples/runtimes/java/DynamoDbEncryption/build.gradle.kts
index bcf62436d..59bc2328a 100644
--- a/Examples/runtimes/java/DynamoDbEncryption/build.gradle.kts
+++ b/Examples/runtimes/java/DynamoDbEncryption/build.gradle.kts
@@ -68,18 +68,11 @@ repositories {
 
 dependencies {
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:${ddbecVersion}")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
-
     implementation(platform("software.amazon.awssdk:bom:2.19.1"))
     implementation("software.amazon.awssdk:arns")
     implementation("software.amazon.awssdk:auth")
-    implementation("software.amazon.awssdk:dynamodb")
-    implementation("software.amazon.awssdk:dynamodb-enhanced")
-    implementation("software.amazon.awssdk:kms")
     implementation("software.amazon.awssdk:sts")
 
-    implementation("org.bouncycastle:bcprov-jdk18on:1.72")
-
     // https://mvnrepository.com/artifact/org.testng/testng
     testImplementation("org.testng:testng:7.5")
 }
diff --git a/Examples/runtimes/java/Migration/DDBECToAWSDBE/build.gradle.kts b/Examples/runtimes/java/Migration/DDBECToAWSDBE/build.gradle.kts
index fa2bcc413..7a9f55d06 100644
--- a/Examples/runtimes/java/Migration/DDBECToAWSDBE/build.gradle.kts
+++ b/Examples/runtimes/java/Migration/DDBECToAWSDBE/build.gradle.kts
@@ -67,12 +67,9 @@ repositories {
 
 dependencies {
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:${ddbecVersion}")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
 
     implementation(platform("software.amazon.awssdk:bom:2.19.1"))
-    implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")
-    implementation("software.amazon.awssdk:kms")
 
     // To support legacy configuration
     implementation("com.amazonaws:aws-java-sdk-dynamodb:1.12.409")
diff --git a/Examples/runtimes/java/Migration/PlaintextToAWSDBE/build.gradle.kts b/Examples/runtimes/java/Migration/PlaintextToAWSDBE/build.gradle.kts
index d548fe6f5..450b9d406 100644
--- a/Examples/runtimes/java/Migration/PlaintextToAWSDBE/build.gradle.kts
+++ b/Examples/runtimes/java/Migration/PlaintextToAWSDBE/build.gradle.kts
@@ -67,12 +67,8 @@ repositories {
 
 dependencies {
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:${ddbecVersion}")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
-
     implementation(platform("software.amazon.awssdk:bom:2.19.1"))
-    implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")
-    implementation("software.amazon.awssdk:kms")
 
     // https://mvnrepository.com/artifact/org.testng/testng
     testImplementation("org.testng:testng:7.5")
diff --git a/TestVectors/runtimes/java/build.gradle.kts b/TestVectors/runtimes/java/build.gradle.kts
index 62b9cf443..3452076ad 100644
--- a/TestVectors/runtimes/java/build.gradle.kts
+++ b/TestVectors/runtimes/java/build.gradle.kts
@@ -86,17 +86,12 @@ repositories {
 val dynamodb by configurations.creating
 
 dependencies {
-    implementation("org.dafny:DafnyRuntime:${dafnyRuntimeJavaVersion}")
-    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:${mplVersion}")
 
     implementation(platform("software.amazon.awssdk:bom:2.26.25"))
-    implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")
-    implementation("software.amazon.awssdk:core:2.26.25")
-    implementation("software.amazon.awssdk:kms")
+    implementation("software.amazon.awssdk:core")
     testImplementation("com.amazonaws:DynamoDBLocal:2.+")
     // This is where we gather the SQLLite files to copy over
     dynamodb("com.amazonaws:DynamoDBLocal:2.+")