tree dba559a9f4b9b604f035e27fd4d4dc7207a74bcd
parent eac6ed704e7fa059488848c5d52cc4c8102d7ac5
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1666028336 +0200
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1666028336 +0200

Remove Checker Framework; add NullAway, Picnic Error Prone Support.

Change-Id: I6558f0b4db0f9a192c18bbe45e2eaf10595bc666