test(KeyStoreAdmin): ?

[texastony]

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

[texastony]

Locally, I am getting:

> Task :compileTestJava
/Volumes/workplace/aws-database-encryption-sdk-dynamodb-java/DynamoDbEncryption/runtimes/java/src/test/dafny-generated/DynamoDbEncryptionBranchKeyIdSupplierTest_Compile/__default.java:97: error: cannot find symbol
    _1014_keyStoreConfig = software.amazon.cryptography.keystore.internaldafny.types.KeyStoreConfig.create(_1013_kmsConfig, __default.logicalKeyStoreName(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.KeyManagement>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_Some(__default.branchKeyStoreName()), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends dafny.DafnySequence<? extends Character>>>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.Storage>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient>create_Some(_1011_dynamodbClient), Wrappers_Compile.Option.<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>create_Some(_1009_kmsClient));
                                                                                                                                                                                                                                               ^
  symbol:   class KeyManagement
  location: package software.amazon.cryptography.keystore.internaldafny.types
/Volumes/workplace/aws-database-encryption-sdk-dynamodb-java/DynamoDbEncryption/runtimes/java/src/test/dafny-generated/DynamoDbEncryptionBranchKeyIdSupplierTest_Compile/__default.java:97: error: cannot find symbol
    _1014_keyStoreConfig = software.amazon.cryptography.keystore.internaldafny.types.KeyStoreConfig.create(_1013_kmsConfig, __default.logicalKeyStoreName(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.KeyManagement>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_Some(__default.branchKeyStoreName()), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends dafny.DafnySequence<? extends Character>>>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.Storage>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient>create_Some(_1011_dynamodbClient), Wrappers_Compile.Option.<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>create_Some(_1009_kmsClient));
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               ^
  symbol:   class Storage
  location: package software.amazon.cryptography.keystore.internaldafny.types
/Volumes/workplace/aws-database-encryption-sdk-dynamodb-java/DynamoDbEncryption/runtimes/java/src/test/dafny-generated/BeaconTestFixtures_Compile/__default.java:52: error: cannot find symbol
    _79_keyStoreConfig = software.amazon.cryptography.keystore.internaldafny.types.KeyStoreConfig.create(_78_kmsConfig, dafny.DafnySequence.asString("KeyStoreDdbTable"), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.KeyManagement>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_Some(dafny.DafnySequence.asString("KeyStoreDdbTable")), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends dafny.DafnySequence<? extends Character>>>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.Storage>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient>create_Some(_76_ddbClient), Wrappers_Compile.Option.<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>create_Some(_74_kmsClient));
                                                                                                                                                                                                                                                            ^
  symbol:   class KeyManagement
  location: package software.amazon.cryptography.keystore.internaldafny.types
/Volumes/workplace/aws-database-encryption-sdk-dynamodb-java/DynamoDbEncryption/runtimes/java/src/test/dafny-generated/BeaconTestFixtures_Compile/__default.java:52: error: cannot find symbol
    _79_keyStoreConfig = software.amazon.cryptography.keystore.internaldafny.types.KeyStoreConfig.create(_78_kmsConfig, dafny.DafnySequence.asString("KeyStoreDdbTable"), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.KeyManagement>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_Some(dafny.DafnySequence.asString("KeyStoreDdbTable")), Wrappers_Compile.Option.<dafny.DafnySequence<? extends Character>>create_None(), Wrappers_Compile.Option.<dafny.DafnySequence<? extends dafny.DafnySequence<? extends Character>>>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.keystore.internaldafny.types.Storage>create_None(), Wrappers_Compile.Option.<software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient>create_Some(_76_ddbClient), Wrappers_Compile.Option.<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>create_Some(_74_kmsClient));
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              ^
  symbol:   class Storage
  location: package software.amazon.cryptography.keystore.internaldafny.types

When I run:

clear_aws_vars; make build_java CORES=10; assume_ddb_ci;  make test_java CORES=10