module github.com/eclipsesource/theia