<http://types.cs.washington.edu/checker-framework/...

# announcements

[konsoletyper]

http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#nullness-checker