The only occurrence of that call I could find is [here](https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.core/src/scala/tools/eclipse/LocateSymbol.scala#L97)  and `askOption`-less. Do you have another suggestion as to where I should look ?