Today here is the default choice when using Gitpod:
Basically all editors are in the list, except Eclipse IDE
Investigate how to add Eclipse IDE