Reviewed-by: darcy

Reviewed-by: jjg
Contributed-by: mernst@cs.washington.edu, wmdietl@cs.washington.edu, mpapi@csail.mit.edu, mahmood@notnoop.com

Reviewed-by: darcy

Reviewed-by: jjg, mcimadamore

Summary: Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith

Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith

Summary: Resolve.java and Infer.java should reuse the same method applicability check routine
Reviewed-by: dlsmith, jjg

Summary: Resolve.java should keep track of all candidates found during a method resolution sweep to generate more meaningful diagnostics
Reviewed-by: jjg

Reviewed-by: jjg

Reviewed-by: mcimadamore

Summary: synthetic name clash check should not apply to miranda methods
Reviewed-by: jjg
Contributed-by: tomas.zezula@sun.com

Reviewed-by: darcy

Summary: Race condition between symbol completion and attribution of import statements causes NPE when creating intersection type
Reviewed-by: jjg

6920317: package-info.java file has to be specified on the javac cmdline, else it will not be avail.
Reviewed-by: darcy