Add static "nullness" checking using the Checker Framework.

Run "mvn checkers:check" to run static nullness checking.  Added
annotations to the code to support this.