6943119: Rebrand source copyright notices
Reviewed-by: darcy

6548436: Incorrect inconvertible types error
Summary: Types.rewrite quantifiers should cope with captured type-variables properly
Reviewed-by: jjg