Add proguard to the java tools zip.

This change bundles the proguard jar with the java_tools zip.

Closes #8290.

PiperOrigin-RevId: 247926793

src/BUILD

diff --git a/src/BUILD b/src/BUILD
index d7f509d..f0c83c7 100644
--- a/src/BUILD
+++ b/src/BUILD
@@ -586,6 +586,7 @@
             "//third_party/jarjar:srcs",
             "//third_party/ijar:transitive_sources",
             "//third_party/java/jacoco:jacoco_source_jars_zip",
+            "//third_party/java/proguard:proguard_srcs_zip",
             "@java_tools_langtools_javac" + java_version + "//:srcs",
         ],
         outs = ["java_tools_dist_javac" + java_version + ".zip"],
@@ -646,6 +647,7 @@
             "//src/tools/singlejar:singlejar_transitive_zip",
             "//third_party/ijar:ijar_transitive_zip",
             "//third_party/java/jacoco:jacoco_jars_zip",
+            "//third_party/java/proguard:proguard_zip",
         ],
         outs = ["java_tools_java" + java_version + "_no_build.zip"],
         cmd = "$(location //src:merge_zip_files) java_tools $@ $(SRCS)",