scala/scala — pull request #820 by retronym (2012-07-04 06:14:42+00:00)
Title: SI-6013 Disallow deferred members from intermediate java parents.

76c76b28f allowed for the fact that a Java method can override
a super class method without matching its type in a Scala sense;
it need only match its type after erasure. However that change
went too far, and considered a concrete method in a base class
to override a deferred method in a subclass.

Review by @odersky, to double check the intent of 76c76b28f.