From 3915c826addd9cb7cd72adddaea27163ee2ae090 Mon Sep 17 00:00:00 2001
From: texastony <5892063+texastony@users.noreply.github.com>
Date: Thu, 14 Nov 2024 09:30:46 -0800
Subject: [PATCH] fix(Java): StormCMC interupt returns Opaque

---
 .../internaldafny/StormTrackingCMC/StormTrackingCMC.java      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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..19154ce58 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,8 @@ > 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
             )
           );
         }