> Except this is no longer the thread where the exception was raised.

Why? AFAICT, the call to [res.get(timeout)](https://github.com/huitseeker/scala-ide/blob/99bc87158f475d387ba223c2911640baa6cfe9da/org.scala-ide.sdt.core/src/scala/tools/eclipse/ScalaPresentationCompiler.scala#L151) is executed by the current thread. 

> I'm wondering if forgoing the Interrupted status isn't voluntary there, but even if it isn't, I highly doubt the present PR is where it should be set.

Why do you think this commit isn't the appropriate place? We introduce an explicit catch for the ``InterruptedException``, so why not calling ``Thread.currentThread().interrupted()`` as well? Why do you think it would be bad? - Please, bear with me, I'm just trying to understand your resoning here.