Release 1.8.7 of the Checker Framework and Type Annotations compiler

[Jonathan Burke]

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

Fix performance regression introduced in release 1.8.6.

Nullness Checker:

  * Updated Nullness annotations in the annotated JDK.

    See issues: 336, 340, 374.

  * String concatenations with null literals are now @NonNull

    rather than @Nullable.  See issue 357.

Fixed issues:  200, 300, 332, 336, 340, 357, 359, 373, 374.

Changes to the Type Annotations Compiler

Base build

  Updated to OpenJDK jdk8u-dev/langtools as of 28 Oct 2014.