Fix download of gradle-8.0

Change-Id: Ia2156ddfea66c1740105a44f6bc3c4de8f1e8d33
diff --git a/tools/gradle.py b/tools/gradle.py
index b4bb786..caf3dc0 100755
--- a/tools/gradle.py
+++ b/tools/gradle.py
@@ -17,7 +17,9 @@
 
 GRADLE_DIR = os.path.join(utils.REPO_ROOT, 'third_party', 'gradle')
 GRADLE_SHA1 = os.path.join(GRADLE_DIR, 'gradle.tar.gz.sha1')
+GRADLE8_SHA1 = os.path.join(GRADLE_DIR, 'gradle-8.0.tar.gz.sha1')
 GRADLE_TGZ = os.path.join(GRADLE_DIR, 'gradle.tar.gz')
+GRADLE8_TGZ = os.path.join(GRADLE_DIR, 'gradle-8.0.tar.gz')
 
 def get_gradle(new_gradle):
   gradle_dir = 'gradle-8.0' if new_gradle else 'gradle'
@@ -62,6 +64,8 @@
 def EnsureGradle(new_gradle):
   utils.EnsureDepFromGoogleCloudStorage(
     get_gradle(new_gradle), GRADLE_TGZ, GRADLE_SHA1, 'Gradle binary')
+  utils.EnsureDepFromGoogleCloudStorage(
+    get_gradle(new_gradle), GRADLE8_TGZ, GRADLE8_SHA1, 'Gradle binary')
 
 def EnsureJdk():
   jdkRoot = jdk.GetJdkRoot()