scala-ide/scala-ide — pull request #6 by dotta (2011-10-14 10:04:55+00:00)
Title: Fixed #1000670 (Missing implementation of a deferred method is not report

Fixed #1000670 (Missing implementation of a deferred method is not reported in the Java editor). The ScalaMethodVerifierProvider was too aggressive. Specifically, when looking for the method that matches the signature of the provided 'abstractMethod', if no method symbol can be located in the trai method's owenr, the JDT MethodVerifier should be run (or potential errors can be swallowed, as it was the case).

(I still have to compile that to make sure that everything is fine, but here at Lift Off the bandwitch kind of suck, and builduing the IDE is definitely a bandwidth intensive operation ;)