chore: update repo names (#217)

Author: josecorella

.gitmodules

@@ -1,6 +1,6 @@
 [submodule "submodules/MaterialProviders"]
 	path = submodules/MaterialProviders
-	url = https://github.com/aws/aws-cryptographic-material-providers-library-dafny.git
+	url = https://github.com/aws/aws-cryptographic-material-providers-library-java.git
 [submodule "submodules/smithy-dafny"]
 	path = submodules/smithy-dafny
 	url = git@github.com:awslabs/smithy-dafny.git

cfn/CB-Staging.yml

@@ -16,7 +16,7 @@ Parameters:
   SourceLocation:
     Type: String
     Description: The https GitHub URL for the project
-    Default: "https://github.com/awslabs/aws-dynamodb-encryption-dafny.git"
+    Default: "https://github.com/awslabs/aws-database-encryption-sdk-dynamodb-java.git"
   NumberOfBuildsInBatch:
     Type: Number
     MaxValue: 100

cfn/CI.yaml

@@ -25,7 +25,7 @@ Parameters:
   GitHubRepo:
     Type: String
     Description: GitHub Repo that invokes CI
-    Default: awslabs/aws-dynamodb-encryption-dafny
+    Default: awslabs/aws-database-encryption-sdk-dynamodb-java
 
 Resources:
   TestTable:
@@ -209,7 +209,7 @@ Resources:
       TableName: !Ref KeystoreTableName
 
   # This policy SHOULD be given to:
-  #  - awslabs/aws-dynamodb-encryption-dafny
+  #  - awslabs/aws-database-encryption-sdk-dynamodb-java
   #  - ToolsDevelopment
   DDBUsage:
     Type: "AWS::IAM::ManagedPolicy"

cfn/code_build_parameter_map.json

@@ -2,6 +2,6 @@
     "NumberOfBuildsInBatch": 50,
     "ProjectDescription": "CD for Java DBESDK DDB",
     "ProjectName": "AWS-DBESDK-DDB-Java",
-    "SourceLocation": "https://github.com/awslabs/aws-dynamodb-encryption-dafny.git"
+    "SourceLocation": "https://github.com/awslabs/aws-database-encryption-sdk-dynamodb-java.git"
   }