diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy b/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
index b4fa422a0..64b4c82ac 100644
--- a/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
+++ b/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
@@ -873,7 +873,6 @@ structure CreateDynamoDbEncryptionBranchKeyIdSupplierOutput {
   branchKeyIdSupplier: BranchKeyIdSupplierReference 
 }
 
-/////////////
 // Errors
 
 @error("client")
diff --git a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
index d128547b4..ae11f9361 100644
--- a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
+++ b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
@@ -224,7 +224,6 @@ structure AtomicPrimitivesReference {}
 @aws.polymorph#reference(service: aws.cryptography.dbEncryptionSdk.structuredEncryption#StructuredEncryption)
 structure StructuredEncryptionReference {}
 
-/////////////
 // Errors
 
 @error("client")
diff --git a/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy b/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
index c44a6bc00..a8e2fff5d 100644
--- a/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
+++ b/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
@@ -405,7 +405,6 @@ list AuthList {
 @aws.polymorph#reference(service: aws.cryptography.primitives#AwsCryptographicPrimitives)
 structure AtomicPrimitivesReference {}
 
-/////////////
 // Errors
 
 @error("client")
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformInput.java
index 360c70c49..a0f0bd0e9 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class BatchGetItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   private final BatchGetItemRequest sdkInput;
 
   protected BatchGetItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   public BatchGetItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     Builder sdkInput(BatchGetItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     BatchGetItemRequest sdkInput();
 
     BatchGetItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformOutput.java
index ca9f10aa4..807674dd3 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class BatchGetItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   private final BatchGetItemRequest transformedInput;
 
   protected BatchGetItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   public BatchGetItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     Builder transformedInput(BatchGetItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     BatchGetItemRequest transformedInput();
 
     BatchGetItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformInput.java
index 5769cb985..c6afc9f5f 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class BatchGetItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+   */
   private final BatchGetItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   private final BatchGetItemRequest originalInput;
 
   protected BatchGetItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected BatchGetItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+   */
   public BatchGetItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+   */
   public BatchGetItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+     */
     Builder sdkOutput(BatchGetItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+     */
     BatchGetItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     Builder originalInput(BatchGetItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchGetItem</code> operation.</p>
+     */
     BatchGetItemRequest originalInput();
 
     BatchGetItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformOutput.java
index 551a85a67..efbb90723 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchGetItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class BatchGetItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+   */
   private final BatchGetItemResponse transformedOutput;
 
   protected BatchGetItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+   */
   public BatchGetItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+     */
     Builder transformedOutput(BatchGetItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>BatchGetItem</code> operation.</p>
+     */
     BatchGetItemResponse transformedOutput();
 
     BatchGetItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformInput.java
index 2b162ea90..eb493cc6d 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class BatchWriteItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   private final BatchWriteItemRequest sdkInput;
 
   protected BatchWriteItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   public BatchWriteItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     Builder sdkInput(BatchWriteItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     BatchWriteItemRequest sdkInput();
 
     BatchWriteItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformOutput.java
index 62014c5d1..317a931ba 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class BatchWriteItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   private final BatchWriteItemRequest transformedInput;
 
   protected BatchWriteItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   public BatchWriteItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     Builder transformedInput(BatchWriteItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     BatchWriteItemRequest transformedInput();
 
     BatchWriteItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformInput.java
index 711e59ed8..f720aa65e 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class BatchWriteItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+   */
   private final BatchWriteItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   private final BatchWriteItemRequest originalInput;
 
   protected BatchWriteItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected BatchWriteItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+   */
   public BatchWriteItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+   */
   public BatchWriteItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+     */
     Builder sdkOutput(BatchWriteItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+     */
     BatchWriteItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     Builder originalInput(BatchWriteItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>BatchWriteItem</code> operation.</p>
+     */
     BatchWriteItemRequest originalInput();
 
     BatchWriteItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformOutput.java
index cb6d0a66c..19bc50307 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/BatchWriteItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class BatchWriteItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+   */
   private final BatchWriteItemResponse transformedOutput;
 
   protected BatchWriteItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+   */
   public BatchWriteItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+     */
     Builder transformedOutput(BatchWriteItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>BatchWriteItem</code> operation.</p>
+     */
     BatchWriteItemResponse transformedOutput();
 
     BatchWriteItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformInput.java
index 94f14a622..b459bc907 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class DeleteItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   private final DeleteItemRequest sdkInput;
 
   protected DeleteItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   public DeleteItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     Builder sdkInput(DeleteItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     DeleteItemRequest sdkInput();
 
     DeleteItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformOutput.java
index f4295e34b..e1668f03a 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class DeleteItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   private final DeleteItemRequest transformedInput;
 
   protected DeleteItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   public DeleteItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     Builder transformedInput(DeleteItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     DeleteItemRequest transformedInput();
 
     DeleteItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformInput.java
index 0147e9520..8cd44af88 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class DeleteItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+   */
   private final DeleteItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   private final DeleteItemRequest originalInput;
 
   protected DeleteItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected DeleteItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+   */
   public DeleteItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+   */
   public DeleteItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+     */
     Builder sdkOutput(DeleteItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+     */
     DeleteItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     Builder originalInput(DeleteItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>DeleteItem</code> operation.</p>
+     */
     DeleteItemRequest originalInput();
 
     DeleteItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformOutput.java
index 8c9f1d184..883df60bc 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/DeleteItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class DeleteItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+   */
   private final DeleteItemResponse transformedOutput;
 
   protected DeleteItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+   */
   public DeleteItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+     */
     Builder transformedOutput(DeleteItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>DeleteItem</code> operation.</p>
+     */
     DeleteItemResponse transformedOutput();
 
     DeleteItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformInput.java
index 99808cc7d..9ab5e25f0 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class GetItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   private final GetItemRequest sdkInput;
 
   protected GetItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   public GetItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     Builder sdkInput(GetItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     GetItemRequest sdkInput();
 
     GetItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformOutput.java
index a94eb1600..b0b057d00 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class GetItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   private final GetItemRequest transformedInput;
 
   protected GetItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   public GetItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     Builder transformedInput(GetItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     GetItemRequest transformedInput();
 
     GetItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformInput.java
index 764fe7cdc..b11d9e391 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class GetItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>GetItem</code> operation.</p>
+   */
   private final GetItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   private final GetItemRequest originalInput;
 
   protected GetItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected GetItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>GetItem</code> operation.</p>
+   */
   public GetItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+   */
   public GetItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>GetItem</code> operation.</p>
+     */
     Builder sdkOutput(GetItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>GetItem</code> operation.</p>
+     */
     GetItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     Builder originalInput(GetItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>GetItem</code> operation.</p>
+     */
     GetItemRequest originalInput();
 
     GetItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformOutput.java
index 8ebf42a5b..814006edd 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/GetItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class GetItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>GetItem</code> operation.</p>
+   */
   private final GetItemResponse transformedOutput;
 
   protected GetItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>GetItem</code> operation.</p>
+   */
   public GetItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>GetItem</code> operation.</p>
+     */
     Builder transformedOutput(GetItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>GetItem</code> operation.</p>
+     */
     GetItemResponse transformedOutput();
 
     GetItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformInput.java
index 9bf02f0fe..094c9f629 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class PutItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   private final PutItemRequest sdkInput;
 
   protected PutItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   public PutItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     Builder sdkInput(PutItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     PutItemRequest sdkInput();
 
     PutItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformOutput.java
index cc06df561..574819d92 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class PutItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   private final PutItemRequest transformedInput;
 
   protected PutItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   public PutItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     Builder transformedInput(PutItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     PutItemRequest transformedInput();
 
     PutItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformInput.java
index 7e5afed34..a0b58c3f1 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class PutItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>PutItem</code> operation.</p>
+   */
   private final PutItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   private final PutItemRequest originalInput;
 
   protected PutItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected PutItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>PutItem</code> operation.</p>
+   */
   public PutItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+   */
   public PutItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>PutItem</code> operation.</p>
+     */
     Builder sdkOutput(PutItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>PutItem</code> operation.</p>
+     */
     PutItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     Builder originalInput(PutItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>PutItem</code> operation.</p>
+     */
     PutItemRequest originalInput();
 
     PutItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformOutput.java
index deec37efb..8961e2fee 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/PutItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class PutItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>PutItem</code> operation.</p>
+   */
   private final PutItemResponse transformedOutput;
 
   protected PutItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>PutItem</code> operation.</p>
+   */
   public PutItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>PutItem</code> operation.</p>
+     */
     Builder transformedOutput(PutItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>PutItem</code> operation.</p>
+     */
     PutItemResponse transformedOutput();
 
     PutItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformInput.java
index fe180f0d0..d1ee2f6e7 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class QueryInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   private final QueryRequest sdkInput;
 
   protected QueryInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   public QueryRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     Builder sdkInput(QueryRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     QueryRequest sdkInput();
 
     QueryInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformOutput.java
index 9d8b0c0b6..a869c8253 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class QueryInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   private final QueryRequest transformedInput;
 
   protected QueryInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   public QueryRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     Builder transformedInput(QueryRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     QueryRequest transformedInput();
 
     QueryInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformInput.java
index c645ff4fa..6b97fde68 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class QueryOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>Query</code> operation.</p>
+   */
   private final QueryResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   private final QueryRequest originalInput;
 
   protected QueryOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected QueryOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>Query</code> operation.</p>
+   */
   public QueryResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Query</code> operation.</p>
+   */
   public QueryRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>Query</code> operation.</p>
+     */
     Builder sdkOutput(QueryResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>Query</code> operation.</p>
+     */
     QueryResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     Builder originalInput(QueryRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Query</code> operation.</p>
+     */
     QueryRequest originalInput();
 
     QueryOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformOutput.java
index 494b68583..8280489d4 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/QueryOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class QueryOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>Query</code> operation.</p>
+   */
   private final QueryResponse transformedOutput;
 
   protected QueryOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>Query</code> operation.</p>
+   */
   public QueryResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>Query</code> operation.</p>
+     */
     Builder transformedOutput(QueryResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>Query</code> operation.</p>
+     */
     QueryResponse transformedOutput();
 
     QueryOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformInput.java
index 1c6ce9ae1..95c93a410 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class ScanInputTransformInput {
 
+  /**
+   * <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   private final ScanRequest sdkInput;
 
   protected ScanInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   public ScanRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     Builder sdkInput(ScanRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     ScanRequest sdkInput();
 
     ScanInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformOutput.java
index 295b284a5..bbd53da9a 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class ScanInputTransformOutput {
 
+  /**
+   * <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   private final ScanRequest transformedInput;
 
   protected ScanInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   public ScanRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     Builder transformedInput(ScanRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     ScanRequest transformedInput();
 
     ScanInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformInput.java
index f2b693935..41a7149f7 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class ScanOutputTransformInput {
 
+  /**
+   * <p>Represents the output of a <code>Scan</code> operation.</p>
+   */
   private final ScanResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   private final ScanRequest originalInput;
 
   protected ScanOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected ScanOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>Scan</code> operation.</p>
+   */
   public ScanResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+   */
   public ScanRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of a <code>Scan</code> operation.</p>
+     */
     Builder sdkOutput(ScanResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>Scan</code> operation.</p>
+     */
     ScanResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     Builder originalInput(ScanRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of a <code>Scan</code> operation.</p>
+     */
     ScanRequest originalInput();
 
     ScanOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformOutput.java
index bcf82a72d..33dbb173e 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/ScanOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class ScanOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of a <code>Scan</code> operation.</p>
+   */
   private final ScanResponse transformedOutput;
 
   protected ScanOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of a <code>Scan</code> operation.</p>
+   */
   public ScanResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of a <code>Scan</code> operation.</p>
+     */
     Builder transformedOutput(ScanResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of a <code>Scan</code> operation.</p>
+     */
     ScanResponse transformedOutput();
 
     ScanOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformInput.java
index 8c9a6ffde..056f3cd96 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformInput.java
@@ -8,12 +8,18 @@
 
 public class UpdateItemInputTransformInput {
 
+  /**
+   * <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   private final UpdateItemRequest sdkInput;
 
   protected UpdateItemInputTransformInput(BuilderImpl builder) {
     this.sdkInput = builder.sdkInput();
   }
 
+  /**
+   * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   public UpdateItemRequest sdkInput() {
     return this.sdkInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkInput <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     Builder sdkInput(UpdateItemRequest sdkInput);
 
+    /**
+     * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     UpdateItemRequest sdkInput();
 
     UpdateItemInputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformOutput.java
index 7b9635893..0d45bc38a 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemInputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class UpdateItemInputTransformOutput {
 
+  /**
+   * <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   private final UpdateItemRequest transformedInput;
 
   protected UpdateItemInputTransformOutput(BuilderImpl builder) {
     this.transformedInput = builder.transformedInput();
   }
 
+  /**
+   * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   public UpdateItemRequest transformedInput() {
     return this.transformedInput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedInput <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     Builder transformedInput(UpdateItemRequest transformedInput);
 
+    /**
+     * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     UpdateItemRequest transformedInput();
 
     UpdateItemInputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformInput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformInput.java
index 702b7c5fb..6046efe54 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformInput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformInput.java
@@ -9,8 +9,14 @@
 
 public class UpdateItemOutputTransformInput {
 
+  /**
+   * <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+   */
   private final UpdateItemResponse sdkOutput;
 
+  /**
+   * <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   private final UpdateItemRequest originalInput;
 
   protected UpdateItemOutputTransformInput(BuilderImpl builder) {
@@ -18,10 +24,16 @@ protected UpdateItemOutputTransformInput(BuilderImpl builder) {
     this.originalInput = builder.originalInput();
   }
 
+  /**
+   * @return <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+   */
   public UpdateItemResponse sdkOutput() {
     return this.sdkOutput;
   }
 
+  /**
+   * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+   */
   public UpdateItemRequest originalInput() {
     return this.originalInput;
   }
@@ -35,12 +47,24 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param sdkOutput <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+     */
     Builder sdkOutput(UpdateItemResponse sdkOutput);
 
+    /**
+     * @return <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+     */
     UpdateItemResponse sdkOutput();
 
+    /**
+     * @param originalInput <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     Builder originalInput(UpdateItemRequest originalInput);
 
+    /**
+     * @return <p>Represents the input of an <code>UpdateItem</code> operation.</p>
+     */
     UpdateItemRequest originalInput();
 
     UpdateItemOutputTransformInput build();
diff --git a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformOutput.java b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformOutput.java
index e7a5f5c83..ea8d8d5aa 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformOutput.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/model/UpdateItemOutputTransformOutput.java
@@ -8,12 +8,18 @@
 
 public class UpdateItemOutputTransformOutput {
 
+  /**
+   * <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+   */
   private final UpdateItemResponse transformedOutput;
 
   protected UpdateItemOutputTransformOutput(BuilderImpl builder) {
     this.transformedOutput = builder.transformedOutput();
   }
 
+  /**
+   * @return <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+   */
   public UpdateItemResponse transformedOutput() {
     return this.transformedOutput;
   }
@@ -27,8 +33,14 @@ public static Builder builder() {
   }
 
   public interface Builder {
+    /**
+     * @param transformedOutput <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+     */
     Builder transformedOutput(UpdateItemResponse transformedOutput);
 
+    /**
+     * @return <p>Represents the output of an <code>UpdateItem</code> operation.</p>
+     */
     UpdateItemResponse transformedOutput();
 
     UpdateItemOutputTransformOutput build();
diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
index 97376ee32..a11dabc82 100644
--- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
@@ -57,18 +57,11 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.7"/>
-    <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..0a7c9ed75 100644
--- a/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
@@ -9,17 +9,7 @@
     <OutputType>Exe</OutputType>
     <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/src/test/java/software/amazon/cryptography/examples/keyring/TestHierarchicalKeyringExample.java b/Examples/runtimes/java/DynamoDbEncryption/src/test/java/software/amazon/cryptography/examples/keyring/TestHierarchicalKeyringExample.java
index 92f0d7f62..3a30f949b 100644
--- a/Examples/runtimes/java/DynamoDbEncryption/src/test/java/software/amazon/cryptography/examples/keyring/TestHierarchicalKeyringExample.java
+++ b/Examples/runtimes/java/DynamoDbEncryption/src/test/java/software/amazon/cryptography/examples/keyring/TestHierarchicalKeyringExample.java
@@ -12,7 +12,7 @@ public void TestHierarchicalKeyringExample() throws InterruptedException {
     String keyId1 = CreateKeyStoreKeyExample.KeyStoreCreateKey(
       TestUtils.TEST_KEYSTORE_NAME,
       TestUtils.TEST_LOGICAL_KEYSTORE_NAME,
-      TestUtils.TEST_KEYSTORE_KMS_KEY_ID
+      "arn:aws:kms:us-west-2:370957321024:key/e20ac7b8-3d95-46ee-b3d5-f5dca6393945"
     );
     String keyId2 = CreateKeyStoreKeyExample.KeyStoreCreateKey(
       TestUtils.TEST_KEYSTORE_NAME,
diff --git a/TestVectors/project.properties b/TestVectors/project.properties
new file mode 100644
index 000000000..b35126df6
--- /dev/null
+++ b/TestVectors/project.properties
@@ -0,0 +1,4 @@
+# This file stores the top level dafny version information.
+# All elements of the project need to agree on this version.
+dafnyVersion=4.2.0
+dafnyRuntimeJavaVersion=4.2.0
diff --git a/TestVectors/runtimes/java/build.gradle.kts b/TestVectors/runtimes/java/build.gradle.kts
index ee1439b90..a00006e2d 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.0-SNAPSHOT")
+    implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:${mplVersion}")
 
     implementation(platform("software.amazon.awssdk:bom:2.24.2"))
     implementation("software.amazon.awssdk:dynamodb")
diff --git a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj
index 10fbf624d..f09ec4ed0 100644
--- a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj
+++ b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj
@@ -11,8 +11,6 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.7"/>
     <ProjectReference Include="../../../DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj" />
     <ProjectReference Include="../../../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj" />
     <Compile Include="*.cs"/>
diff --git a/project.properties b/project.properties
index e35812981..f51c5083b 100644
--- a/project.properties
+++ b/project.properties
@@ -1,5 +1,5 @@
-projectJavaVersion=3.5.0-SNAPSHOT
-mplDependencyJavaVersion=1.4.0
+projectJavaVersion=3.5.0
+mplDependencyJavaVersion=1.5.0-SNAPSHOT
 dafnyVersion=4.2.0
 dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index b6d28dcd6..a0d03b79f 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit b6d28dcd6968b00fa200fc0d51a1c83f437191ab
+Subproject commit a0d03b79f4658f96a451ab1ef954edd4857bbaa9
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
index d9c596cb8..af4ee06bd 160000
--- a/submodules/smithy-dafny
+++ b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit d9c596cb85ce55434efb57a5f88e6dd7fb68d505
+Subproject commit af4ee06bdf63496f55e1e1fd537e7b2d2d99e794