Comment by odo1242

This is just Eclipse Theia plugins. In fact, I wouldn’t be surprised if this project is actually Eclipse Theia based