Fix Checker Framework nullness warnings.
pom.xml: Upgrade Checker Framework to 1.7.3 (from 1.7.2)