fix: CI

Author: Shubham Chaturvedi

.github/workflows/ci_examples_java.yml

@@ -46,11 +46,11 @@ jobs:
         with:
           submodules: recursive
 
-      - name: Setup Java 8
-        uses: actions/setup-java@v4
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v3
         with:
-          distribution: "corretto"
-          java-version: 8
+          gradle-version: '7.6'  # Supports Java 8-17
+          cache-read-only: false
 
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v4

TestVectors/runtimes/rust/Cargo.toml

@@ -16,8 +16,11 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.10"
 chrono = "0.4.39"
 cpu-time = "1.0.0"
-dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
+dafny-runtime = "0.2.0"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
+
+[lints.rust]
+deprecated = "allow"