6860795: NullPointerException when compiling a negative java source
Summary: Rich formatter shouldn't propagate visits on method symbols that have a null type
Reviewed-by: jjg
6846972: cannot access member of raw type when erasure change overriding into overloading
Summary: fix of 6400189 caused a nasty problem in method resolution
Reviewed-by: jjg