Theia is an independent IDE framework. It used by products like Gitpod (http://www.gitpod.io), Google Cloud Shell, ARM Mbed Studio (https://os.mbed.com/studio/?utm_source=blog) and so on. Che is going to replace own old GWT based IDE with Theia.