Point out known issue #1
Update Checker Framework dependency version
Typo
Update commit hash
Add tip about using "git checkout"
Pin Maven dependency plugin version in POM
Don't require specific Maven version, now-current version 3 is good enough
Require Maven version 3.1 or later
Tweak
Wording, formatting
Add link to nullness annotations
More proofreading
Some proofreading
Tweaks
Add link
Wording
Some more notes
More of the same
More tweaks
More notes
Notes
No -Alint