scala-ide/scala-ide — pull request #823 by dragos (2014-10-06 17:36:19+00:00)
Title: Ignore interrupts.

Don't report InterruptedExceptions in the Eclipse error log.