Update to checker framework annotations version 3.0.0
diff --git a/third_party/BUILD b/third_party/BUILD index b4115b2..f8d465a 100644 --- a/third_party/BUILD +++ b/third_party/BUILD
@@ -337,10 +337,8 @@ java_import( name = "checker_framework_annotations", - jars = [ - "checker_framework_annotations/checker-qual-2.6.0.jar", - "checker_framework_annotations/checker-compat-qual-2.6.0.jar", - ], + jars = ["checker_framework_annotations/checker-qual-3.0.0.jar"], + srcjar = "checker_framework_annotations/checker-qual-3.0.0-sources.jar", ) java_import(
diff --git a/third_party/checker_framework_annotations/checker-compat-qual-2.6.0.jar b/third_party/checker_framework_annotations/checker-compat-qual-2.6.0.jar deleted file mode 100644 index c0c8d91..0000000 --- a/third_party/checker_framework_annotations/checker-compat-qual-2.6.0.jar +++ /dev/null Binary files differ
diff --git a/third_party/checker_framework_annotations/checker-qual-2.6.0.jar b/third_party/checker_framework_annotations/checker-qual-2.6.0.jar deleted file mode 100644 index 1113b33..0000000 --- a/third_party/checker_framework_annotations/checker-qual-2.6.0.jar +++ /dev/null Binary files differ
diff --git a/third_party/checker_framework_annotations/checker-qual-3.0.0-sources.jar b/third_party/checker_framework_annotations/checker-qual-3.0.0-sources.jar new file mode 100644 index 0000000..788b3f2 --- /dev/null +++ b/third_party/checker_framework_annotations/checker-qual-3.0.0-sources.jar Binary files differ
diff --git a/third_party/checker_framework_annotations/checker-qual-3.0.0.jar b/third_party/checker_framework_annotations/checker-qual-3.0.0.jar new file mode 100644 index 0000000..c64ec42 --- /dev/null +++ b/third_party/checker_framework_annotations/checker-qual-3.0.0.jar Binary files differ