fix(Java): DummySubsetType

Author: texastony

DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/types/__default.java

@@ -0,0 +1,4 @@
+package software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types;
+
+public class __default
+  extends software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types._ExternBase___default {}

DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/internaldafny/types/__default.java

@@ -0,0 +1,4 @@
+package software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types;
+
+public class __default
+  extends software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types._ExternBase___default {}