tree 8edf503f5b0d54c18c8c2ec24abb2769dc8685a2
parent 0ad6a55f3faa0ff8c42321edc6b27bbcc358b709
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1646138630 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1646138630 +0100

Ensure nullness correctness using Checker Framework.

Change-Id: Ie5a7749194313664a206e44597091a62afca9bdb