scala-ide/scala-ide — pull request #55 by hubertp (2011-12-07 14:21:31+00:00)
Title: Closes #1000735.

Compiler occiasionally throws duplicate error messages and we don't see it because console reporter ignores them.
We have to do the same.