Migrating Eclipse-based Tools/Plugins to Eclipse Theia or VSCode