Update checker framework dataflow and javacutil versions

Fixes #5989
bazelbuild · Aug 27, 2018 · 0e04625 · 0e04625
1 parent 0cfed02
commit 0e04625
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD
@@ -9,14 +9,14 @@ filegroup(
 
 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",
     ],
 )
 
 filegroup(
     name = "bootstrap",
-    srcs = ["dataflow-2.5.0.jar"],
+    srcs = ["dataflow-2.5.3.jar"],
 )
diff --git a/...ework_dataflow/dataflow-2.5.0-sources.jar → ...ework_dataflow/dataflow-2.5.3-sources.jar b/...ework_dataflow/dataflow-2.5.0-sources.jar → ...ework_dataflow/dataflow-2.5.3-sources.jar
diff --git a/...ker_framework_dataflow/dataflow-2.5.0.jar → ...ker_framework_dataflow/dataflow-2.5.3.jar b/...ker_framework_dataflow/dataflow-2.5.0.jar → ...ker_framework_dataflow/dataflow-2.5.3.jar
diff --git a/third_party/checker_framework_javacutil/BUILD b/third_party/checker_framework_javacutil/BUILD
@@ -9,11 +9,11 @@ filegroup(
 
 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/...ork_javacutil/javacutil-2.5.0-sources.jar → ...ork_javacutil/javacutil-2.5.3-sources.jar b/...ork_javacutil/javacutil-2.5.0-sources.jar → ...ork_javacutil/javacutil-2.5.3-sources.jar
diff --git a/...r_framework_javacutil/javacutil-2.5.0.jar → ...r_framework_javacutil/javacutil-2.5.3.jar b/...r_framework_javacutil/javacutil-2.5.0.jar → ...r_framework_javacutil/javacutil-2.5.3.jar