Comment Comment by aswerty Is Theia related to Eclipse (the traditional Java IDE)? Or is the reference to "eclipse" just an unfortunate naming collision? parent aswerty 2 years ago