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(