diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java
index c75fe1226..5f1710dad 100644
--- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java
+++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java
@@ -111,8 +111,7 @@ > GetCacheEntry_k(
           Thread.sleep(wrapped.sleepMilli);
         } catch (Exception e) {
           return CreateGetCacheEntryFailure(
-            software.amazon.cryptography.materialproviders.internaldafny.types.Error.create_AwsCryptographicMaterialProvidersException(
-              dafny.DafnySequence.asString("Thread Interrupted")
+            software.amazon.cryptography.materialproviders.internaldafny.types.Error.create_Opaque(e)
             )
           );
         }