From 99e160bbd3bc7650ab8d8157d6dac4729d27656b Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Thu, 30 May 2024 10:43:46 -0400
Subject: [PATCH] chore: allow Legacy to use subclass of DynamoDBEncryptor

---
 .../internaldafny/legacy/InternalLegacyOverride.java           | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java b/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java
index 433563b78..176d9533a 100644
--- a/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java
+++ b/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java
@@ -240,8 +240,7 @@ public static <T> Result<T, Error> createFailure(String message) {
   public static boolean isDynamoDBEncryptor(
     software.amazon.cryptography.dbencryptionsdk.dynamodb.ILegacyDynamoDbEncryptor maybe
   ) {
-    System.out.println(maybe.getClass());
-    return maybe.getClass().equals(DynamoDBEncryptor.class);
+    return maybe instanceof DynamoDBEncryptor;
   }
 
   public static String ToNativeString(DafnySequence<? extends Character> s) {