Release 1.1.3 of the Checker Framework and Type Annotations compiler

[Werner Dietl]

We have released a new version of the Type Annotations (JSR 308) compiler
and the Checker Framework.
* The Type Annotations compiler supports the type annotation syntax that is
planned for a future version of the Java language.
* The Checker Framework lets you create and/or run pluggable type-checkers,
in order to detect and prevent bugs in your code.

Changes for the Checker Framework
Version 1.1.3, 17 Jun 2011

Interning:
- Add @UsesObjectEquals annotation

Manual:
- Signature Checker is now documented
- Fenum Checker documentation improved
- Small improvements to other sections

Implementation details:

- Updates to the web-site build process

- The BaseTypeVisitor used to provide the same two type parameters as
class SourceVisitor. However, all subtypes of BaseTypeVisitor were
instantiated as <Void, Void>. We decided to directly instantiate the
SourceVisitor as <Void, Void> and removed this complexity.
Instead, the BaseTypeVisitor is now parameterized by the subtype of
BaseTypeChecker that should be used. This gives a more concrete type
to field "checker" and is similar to BasicAnnotatedTypeFactory.

- Added method AnnotatedTypeFactory.typeVariablesFromUse to allow type
checkers to adapt the upper bounds of a type variable depending on
the type instantiation.

- Method type argument inference:
Changed AnnotatedTypeFactory.methodFromUse to return a Pair consisting
of the method and the inferred or explicit method type arguments.
If you override this method, you will need to update your version.
See this change set for a simple example:
http://code.google.com/p/checker-framework/source/detail?r=8381a213a4

- Testing framework:
Support for multiple expected errors using the "//:: A :: B :: C" syntax.

Many small updates and fixes.

Changes for Type Annotations Compiler
Version 1.1.3, 17 Jun 2011

Bug fixes:
javac: don't run type annotation processors if deferred errors exist

Rename occurrences of "Sun" to "Oracle"

Updates to the web-site build process

The commits from March 21st/22nd 2011 re-add JSR 308 support that was
previously removed in langtools. All of them previously existed in
this repository.

Base build
Updated to OpenJDK langtools build b145