eclipse/che-theia-hosted-plugin-manager-extension not found