scala-ide/scala-ide — pull request #353 by dragos (2013-03-15 16:02:16+00:00)
Title: Correctly search for threads, and don't use `Option.get`

JDI objects implement `equals`, we should not rely on reference equality.

This is the last instance of `Option.get` in the debugger.

Fixed #1001599.

Should be backported.