Release 1.8.8 of the Checker Framework and Type Annotations compiler

[David McArthur]

We have released a new version of the Type Annotations (JSR 308) compiler,
 the Checker Framework, and the Eclipse plugin for the Checker Framework.

 * The Type Annotations compiler supports type annotation syntax.
 * The Checker Framework lets you create and/or run pluggable type checkers,
   in order to detect and prevent bugs in your code.
 * The Eclipse plugin makes it more convenient to run the Checker Framework.

 You can find documentation and download links for these projects at:
 http://types.cs.washington.edu/jsr308/


Changes to the Checker Framework

@SuppressWarnings("all") suppresses all Checker Framework warnings.

Implicit imports are deprecated, including the jsr308_imports environment

variable and the -jsr308_imports ... and -Djsr308.imports=... command-line

options.

For checkers bundled with the Checker Framework, package names may now.

be omitted when running from the command line.

E.g.

    javac -processor NullnessChecker MyFile.java.

The Nullness checker supports Android annotations

android.support.annotation.NonNull and android.support.annotation.Nullable.

Fixed issues: 366, 379.