In the documentation you describe how to build Theia and install the Spring extension: https://github.com/spring-projects/sts4/wiki/Installation#theia Maybe you want to simplify this and direct users to [Theia Blueprint](https://theia-ide.org/docs/blueprint_download), the default distribution of Theia?