Add jacoco agent to the java tools release.

Closes #8137.

PiperOrigin-RevId: 245242492
diff --git a/src/BUILD b/src/BUILD
index 7f9ad16..4f03b84 100644
--- a/src/BUILD
+++ b/src/BUILD
@@ -607,6 +607,7 @@
             "//src/tools/singlejar:embedded_java_tools",
             "//third_party/jarjar:srcs",
             "//third_party/ijar:transitive_sources",
+            "//third_party/java/jacoco:jacoco_source_jars_zip",
             "@java_tools_langtools_javac" + java_version + "//:srcs",
         ],
         outs = ["java_tools_dist_javac" + java_version + ".zip"],
@@ -667,6 +668,7 @@
             ":java_tools_build.zip",
             "//src/tools/singlejar:singlejar_transitive_zip",
             "//third_party/ijar:ijar_transitive_zip",
+            "//third_party/java/jacoco:jacoco_jars_zip",
         ],
         outs = ["java_tools_java" + java_version + "_no_build.zip"],
         cmd = "$(location //src:merge_zip_files) java_tools $@ $(SRCS)",