From 575665283e0ff4830bb87ea4e48b4b6f0e714405 Mon Sep 17 00:00:00 2001
From: "Ian (Hee) Cha" <heec@google.com>
Date: Wed, 17 May 2023 16:14:00 -0700
Subject: [PATCH] Pass version to java_runtimes created by
 local_java_repository (#18415)

Work towards #17281

Closes #18344.

PiperOrigin-RevId: 530662071
Change-Id: I9376cbc7117d9c8370cf50d42988cca44dad9785

Co-authored-by: Fabian Meumertzheim <fabian@meumertzhe.im>
Co-authored-by: keertk <keerthanakumar@google.com>
---
 tools/jdk/local_java_repository.bzl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/jdk/local_java_repository.bzl b/tools/jdk/local_java_repository.bzl
index 0af39c1dd08c38..6a9a4c99d18529 100644
--- a/tools/jdk/local_java_repository.bzl
+++ b/tools/jdk/local_java_repository.bzl
@@ -62,6 +62,7 @@ def local_java_runtime(name, java_home, version, runtime_name = None, visibility
             name = runtime_name,
             java_home = java_home,
             visibility = visibility,
+            version = int(version) if version.isdigit() else 0,
         )
 
     native.config_setting(