scala-ide/scala-ide — pull request #516 by dragos (2013-08-30 14:27:55+00:00)
Title: Use a concurrent map for sourceFiles.

* removed some `synchronized` blocks that shouldn't be necessary now

Fixed #1001859

Should be backported.