I found a bug which results in an exception. The code which produces the bug is executed inside of askOption() - thus, it is impossible to catch it with our test suite in a simple way.
Now I want to know if I shall change askOption() to ask() to let the exception fly to scala-ide to handle it with a test+fix or shall I only commit a fix and no test and no change of askOption()?
The ticket: https://www.assembla.com/spaces/scala-ide/tickets/1001222
The line of code which produces the bug: https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.core/src/scala/tools/eclipse/semantichighlighting/classifier/SafeSymbol.scala#L108