Remove last calls to `JavaUI.getDocumentProvider`

With the introduction of `ScalaDocumentProvider`, this method no longer
returns the correct document provider.
Merge pull request #835 from sschaef/fix-last-document-provider-calls

Remove last calls to `JavaUI.getDocumentProvider`