diff --git a/pom.xml b/pom.xml
index 1da139b8..1ccf5060 100644
--- a/pom.xml
+++ b/pom.xml
@@ -54,8 +54,8 @@
     <dependencies>
         <dependency>
             <groupId>com.amazonaws</groupId>
-            <artifactId>aws-java-sdk</artifactId>
-            <version>1.12.394</version>
+            <artifactId>aws-java-sdk-kms</artifactId>
+            <version>1.12.531</version>
             <optional>true</optional>
         </dependency>
 
@@ -79,22 +79,6 @@
             <scope>test</scope>
         </dependency>
 
-        <dependency>
-            <groupId>software.amazon.smithy.dafny</groupId>
-            <artifactId>conversion</artifactId>
-            <version>0.1</version>
-            <optional>true</optional>
-            <scope>test</scope>
-        </dependency>
-
-        <dependency>
-            <groupId>org.dafny</groupId>
-            <artifactId>DafnyRuntime</artifactId>
-            <version>4.2.0</version>
-            <optional>true</optional>
-            <scope>test</scope>
-        </dependency>
-
         <dependency>
             <groupId>org.bouncycastle</groupId>
             <artifactId>bcprov-jdk18on</artifactId>
@@ -129,15 +113,9 @@
         </dependency>
 
         <dependency>
-            <groupId>com.google.code.findbugs</groupId>
-            <artifactId>jsr305</artifactId>
-            <version>3.0.2</version>
-            <scope>provided</scope>
-        </dependency>
-        <dependency>
-            <groupId>com.google.code.findbugs</groupId>
-            <artifactId>annotations</artifactId>
-            <version>3.0.1</version>
+            <groupId>com.github.spotbugs</groupId>
+            <artifactId>spotbugs-annotations</artifactId>
+            <version>4.7.3</version>
             <scope>provided</scope>
         </dependency>