diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystoreadmin/ToDafny.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystoreadmin/ToDafny.java
index 20272d2e3a..4b588b8b06 100644
--- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystoreadmin/ToDafny.java
+++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystoreadmin/ToDafny.java
@@ -112,7 +112,9 @@ public static Error Error(OpaqueError nativeValue) {
   public static Error Error(OpaqueWithTextError nativeValue) {
     return Error.create_OpaqueWithText(
       nativeValue.obj(),
-      dafny.DafnySequence.asString(nativeValue.objMessage())
+      dafny.DafnySequence.asString(
+        nativeValue.getClass().getSimpleName() + ": " + nativeValue.getMessage()
+      )
     );
   }
 
diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java
index 236e3d4a02..f29715488b 100644
--- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java
+++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java
@@ -193,7 +193,9 @@ public static Error Error(OpaqueError nativeValue) {
   public static Error Error(OpaqueWithTextError nativeValue) {
     return Error.create_OpaqueWithText(
       nativeValue.obj(),
-      dafny.DafnySequence.asString(nativeValue.objMessage())
+      dafny.DafnySequence.asString(
+        nativeValue.getClass().getSimpleName() + ": " + nativeValue.getMessage()
+      )
     );
   }
 
diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java
index 06ef1d008e..99bd2c98cc 100644
--- a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java
+++ b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java
@@ -94,7 +94,9 @@ public static Error Error(OpaqueError nativeValue) {
   public static Error Error(OpaqueWithTextError nativeValue) {
     return Error.create_OpaqueWithText(
       nativeValue.obj(),
-      dafny.DafnySequence.asString(nativeValue.objMessage())
+      dafny.DafnySequence.asString(
+        nativeValue.getClass().getSimpleName() + ": " + nativeValue.getMessage()
+      )
     );
   }
 
diff --git a/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java b/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java
index 800dddb4c9..712e24dce4 100644
--- a/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java
+++ b/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java
@@ -13565,7 +13565,9 @@ public static Error Error(Exception nativeValue) {
     // Which would allow Dafny developers to treat the two differently.
     return Error.create_OpaqueWithText(
       nativeValue,
-      dafny.DafnySequence.asString(nativeValue.getMessage())
+      dafny.DafnySequence.asString(
+        nativeValue.getClass().getSimpleName() + ": " + nativeValue.getMessage()
+      )
     );
   }
 
diff --git a/ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java b/ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java
index 3a7a97f73f..f8b61a4c6c 100644
--- a/ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java
+++ b/ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java
@@ -5729,7 +5729,9 @@ public static Error Error(KmsException nativeValue) {
     // Which would allow Dafny developers to treat the two differently.
     return Error.create_OpaqueWithText(
       nativeValue,
-      dafny.DafnySequence.asString(nativeValue.getMessage())
+      dafny.DafnySequence.asString(
+        nativeValue.getClass().getSimpleName() + ": " + nativeValue.getMessage()
+      )
     );
   }