chore: Bump MPL dependency to 1.9.0, consolidate project.properties files (#753)

Author: lucasmcdonald3

AwsEncryptionSDK/project.properties

@@ -17,8 +17,10 @@ plugins {
 }
 
 var props = Properties().apply {
-    load(FileInputStream(File(rootProject.rootDir, "../../project.properties")))
+    load(FileInputStream(File(rootProject.rootDir, "../../../project.properties")))
 }
+var mplVersion = props.getProperty("mplDependencyJavaVersion")
+
 group = "software.amazon.cryptography"
 version = "1.0.0-SNAPSHOT"
 description = "AwsEncryptionSdk"
@@ -32,7 +34,7 @@ repositories {
 dependencies {
     implementation("org.dafny:DafnyRuntime:4.9.0")
     implementation("software.amazon.smithy.dafny:conversion:0.1")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.8.0")
+    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
 
     // Use JUnit test framework.
     testImplementation("junit:junit:4.13.2")

AwsEncryptionSDK/runtimes/java/build.gradle.kts

@@ -1,3 +1,7 @@
+import java.io.File
+import java.io.FileInputStream
+import java.util.Properties
+
 tasks.wrapper {
     gradleVersion = "7.6"
 }
@@ -8,6 +12,11 @@ plugins {
     `application`
 }
 
+var props = Properties().apply {
+    load(FileInputStream(File(rootProject.rootDir, "../../../project.properties")))
+}
+var mplVersion = props.getProperty("mplDependencyJavaVersion")
+
 group = "software.amazon.cryptography"
 version = "1.0.0-SNAPSHOT"
 description = "AwsEncryptionSDKJavaTestVectors"
@@ -33,8 +42,8 @@ repositories {
 dependencies {
     implementation("org.dafny:DafnyRuntime:4.8.0")
     implementation("software.amazon.smithy.dafny:conversion:0.1")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.8.0")
-    implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:1.8.0-SNAPSHOT")
+    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:${mplVersion}")
+    implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:${mplVersion}")
     implementation("software.amazon.cryptography:aws-encryption-sdk:1.0.0-SNAPSHOT")
     implementation("com.amazonaws:aws-encryption-sdk-java:3.0.1")
     implementation(platform("software.amazon.awssdk:bom:2.25.1"))

TestVectors/project.properties

@@ -1,7 +1,9 @@
+# This file stores the top level dafny version information.
+# All elements of the project need to agree on this version.
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyFormatVersion=4.9.0
 projectJavaVersion=4.1.0
-mplDependencyJavaVersion=1.8.0
+mplDependencyJavaVersion=1.9.0-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1