scala-ide/scala-ide — pull request #817 by dragos (2014-10-03 09:47:59+00:00)
Title: Fix deadlock by moving `res.get` outside of synchronized block.

Fixed #1002275.

I don't have a reproducible test case, but this should release the hashmap lock that's blocking the PC from making progress in completing `res`.