Remove last calls to `JavaUI.getDocumentProvider`

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