scala-ide/scala-ide — pull request #711 by sschaef (2014-05-30 13:50:20+00:00)
Title: Fix race condition due to call of `Tree.symbol`

Fixes #1002132

Not sure if this slows down semantic highlighting too much. Would it make more sense to wrap the entire `Traverser` in an `askOption`?