scala-ide/scala-ide — pull request #764 by sschaef (2014-08-11 22:53:55+00:00)
Title: Fix NPE in `AllMethodsTraverserImpl`

Fixes #1002217