scala-ide/scala-ide — pull request #798 by skyluc (2014-09-11 09:32:40+00:00)
Title: Adds missing getOption() synchronization call

The previous getOption call (old API) was replaced by an asyncExec, it requires
a getOption() (new API) to wait for the execution of the code.