scala-ide/scala-ide — pull request #611 by dragos (2013-12-17 11:15:39+00:00)
Title: Backport caching jars

In addition, added synchronization around `getOrElse`.

I will cherry-pick that commit on top of master as soon as this one is reviewed.