diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-10-17 19:38:56 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-10-17 19:38:56 +0200 |
| commit | 91dbd7474041880d2babc7124fcce20fe61493c1 (patch) | |
| tree | dba559a9f4b9b604f035e27fd4d4dc7207a74bcd /jgvariant-core/pom.xml | |
| parent | eac6ed704e7fa059488848c5d52cc4c8102d7ac5 (diff) | |
Remove Checker Framework; add NullAway, Picnic Error Prone Support.
Change-Id: I6558f0b4db0f9a192c18bbe45e2eaf10595bc666
Diffstat (limited to 'jgvariant-core/pom.xml')
| -rw-r--r-- | jgvariant-core/pom.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/jgvariant-core/pom.xml b/jgvariant-core/pom.xml index f8c7b42..b37b65c 100644 --- a/jgvariant-core/pom.xml +++ b/jgvariant-core/pom.xml @@ -50,20 +50,6 @@ SPDX-License-Identifier: LGPL-3.0-or-later <optional>true</optional> </dependency> - <!-- Static analysis --> - <dependency> - <groupId>org.checkerframework</groupId> - <artifactId>checker</artifactId> - <scope>provided</scope> - <optional>true</optional> - </dependency> - <dependency> - <groupId>org.checkerframework</groupId> - <artifactId>checker-qual</artifactId> - <scope>provided</scope> - <optional>true</optional> - </dependency> - <!-- Testing --> <dependency> <groupId>org.junit.jupiter</groupId> |