Reviewed-by: kamg

Reviewed-by: mcimadamore

Reviewed-by: darcy

Summary: Wrong nested loops in Gen.java causes javac to generate bad bytecode
Reviewed-by: jjg

Summary: Types.rewriteQuantifiers() does not work well with recursive type-variable bounds
Reviewed-by: jjg

Summary: resolution of superclass/superinterfaces in extends/implements clause skips local classes
Reviewed-by: jjg

Summary: raw warnings should be disabled in (i) instanceof expressions and (ii) when java.lang.Class is not parameterized
Reviewed-by: jjg

Summary: capture conversion does not work on nested types
Reviewed-by: jjg

Reviewed-by: darcy

Summary: unconstrained type-variables with recursive bounds are not inferred properly
Reviewed-by: jjg

Summary: type annotation should take advantage of recursive annotation checking
Reviewed-by: jjg

Summary: missing symbols are collected in an HashSet which doesn't preserve ordering
Reviewed-by: jjg

Summary: resolution issues during diamond inference should be reported through Resolve.logResolveError()
Reviewed-by: jjg

Summary: problem when constructor resolution returns an erroneous symbol
Reviewed-by: jjg

Summary: default annotation value is not attributed
Reviewed-by: jjg, darcy

Reviewed-by: darcy

Reviewed-by: jjb

Reviewed-by: darcy

Reviewed-by: darcy

Reviewed-by: darcy

Summary: Updated logic not to rely upon Symbol.implementation (which check in superinterfaces)
Reviewed-by: jjg

Summary: The test calls the wrong version of JavacMessage constructor
Reviewed-by: jjg

Summary: a redundant dubtyping check causes spurious inference failure
Reviewed-by: jjg

Reviewed-by: darcy

Reviewed-by: mcimadamore
Contributed-by: jan.lahoda@sun.com

Reviewed-by: mcimadamore