Add missing Export-Package declarations.
Merge pull request #833 from dragos/issue/missing-exports

Add missing Export-Package declarations.
Update to next version of build-tools
Merge pull request #834 from skyluc/pretag/4.0.0-rc1

Update to next version of build-tools
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`