scala-ide/scala-ide — pull request #104 by dotta (2012-05-09 12:14:58+00:00)
Title: Correctly expose to JDT Scala sources' throws annotations

Scala @throws annotation were not exposed to JDT up until now, which was
causing wrong errors to be reported by the Scala presentation compiler.

Fix #1001005, #1000707 and #1000800