There was an error while loading. Please reload this page.
Updated Installation (markdown)
updated install page
adopt renaming from sts4 / spring tools 4 / spring tool suite 4 -> spring tools
Replace old dist.springsource.com URLS with CDN
Refer to Theia Blueprint for STS4 installation instructions for Theia IDE