scala-ide/scala-ide — pull request #612 by dragos (2013-12-17 11:17:17+00:00)
Title: Add synchronisation around map `getOrElse`.

Needed for proper visibility, in case this code
is called on different threads.
(cherry picked from commit 6181d7f57da6c28cc6f6ef0df873a2f7a960ba73)