scala-ide/scala-ide — pull request #835 by sschaef (2014-10-11 09:53:49+00:00)
Title: Remove last calls to `JavaUI.getDocumentProvider`

With the introduction of `ScalaDocumentProvider`, this method no longer
returns the correct document provider.