scala-ide/scala-ide — pull request #54 by hubertp (2011-12-07 14:02:37+00:00)
Title: Closes #1000723.

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