Update checker framework dataflow and javacutil versions
Fixes #5989
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD
index f2a312f..7030b19 100644
--- a/third_party/checker_framework_dataflow/BUILD
+++ b/third_party/checker_framework_dataflow/BUILD
@@ -9,8 +9,8 @@
java_import(
name = "checker_framework_dataflow",
- jars = ["dataflow-2.5.0.jar"],
- srcjar = "dataflow-2.5.0-sources.jar",
+ jars = ["dataflow-2.5.3.jar"],
+ srcjar = "dataflow-2.5.3-sources.jar",
deps = [
"//third_party/checker_framework_javacutil",
],
@@ -18,5 +18,5 @@
filegroup(
name = "bootstrap",
- srcs = ["dataflow-2.5.0.jar"],
+ srcs = ["dataflow-2.5.3.jar"],
)
diff --git a/third_party/checker_framework_dataflow/dataflow-2.5.0-sources.jar b/third_party/checker_framework_dataflow/dataflow-2.5.0-sources.jar
deleted file mode 100644
index 607e9ca..0000000
--- a/third_party/checker_framework_dataflow/dataflow-2.5.0-sources.jar
+++ /dev/null
Binary files differ
diff --git a/third_party/checker_framework_dataflow/dataflow-2.5.0.jar b/third_party/checker_framework_dataflow/dataflow-2.5.0.jar
deleted file mode 100644
index de96d09..0000000
--- a/third_party/checker_framework_dataflow/dataflow-2.5.0.jar
+++ /dev/null
Binary files differ
diff --git a/third_party/checker_framework_dataflow/dataflow-2.5.3-sources.jar b/third_party/checker_framework_dataflow/dataflow-2.5.3-sources.jar
new file mode 100644
index 0000000..490c982
--- /dev/null
+++ b/third_party/checker_framework_dataflow/dataflow-2.5.3-sources.jar
Binary files differ
diff --git a/third_party/checker_framework_dataflow/dataflow-2.5.3.jar b/third_party/checker_framework_dataflow/dataflow-2.5.3.jar
new file mode 100644
index 0000000..7a93aaf
--- /dev/null
+++ b/third_party/checker_framework_dataflow/dataflow-2.5.3.jar
Binary files differ
diff --git a/third_party/checker_framework_javacutil/BUILD b/third_party/checker_framework_javacutil/BUILD
index 2180418..6f1a778 100644
--- a/third_party/checker_framework_javacutil/BUILD
+++ b/third_party/checker_framework_javacutil/BUILD
@@ -9,11 +9,11 @@
java_import(
name = "checker_framework_javacutil",
- jars = ["javacutil-2.5.0.jar"],
- srcjar = "javacutil-2.5.0-sources.jar",
+ jars = ["javacutil-2.5.3.jar"],
+ srcjar = "javacutil-2.5.3-sources.jar",
)
filegroup(
name = "bootstrap",
- srcs = ["javacutil-2.5.0.jar"],
+ srcs = ["javacutil-2.5.3.jar"],
)
diff --git a/third_party/checker_framework_javacutil/javacutil-2.5.0-sources.jar b/third_party/checker_framework_javacutil/javacutil-2.5.3-sources.jar
similarity index 77%
rename from third_party/checker_framework_javacutil/javacutil-2.5.0-sources.jar
rename to third_party/checker_framework_javacutil/javacutil-2.5.3-sources.jar
index 14dff33..9a63478 100644
--- a/third_party/checker_framework_javacutil/javacutil-2.5.0-sources.jar
+++ b/third_party/checker_framework_javacutil/javacutil-2.5.3-sources.jar
Binary files differ
diff --git a/third_party/checker_framework_javacutil/javacutil-2.5.0.jar b/third_party/checker_framework_javacutil/javacutil-2.5.3.jar
similarity index 66%
rename from third_party/checker_framework_javacutil/javacutil-2.5.0.jar
rename to third_party/checker_framework_javacutil/javacutil-2.5.3.jar
index 83f744f..4a324a8 100644
--- a/third_party/checker_framework_javacutil/javacutil-2.5.0.jar
+++ b/third_party/checker_framework_javacutil/javacutil-2.5.3.jar
Binary files differ
