This is an implementation of #theia.Uri based on vscode-uri.
This is supposed to fix https://github.com/eclipse-theia/theia/issues/8752
We cannot simply upgrade the dependency, because the current version 3.x
is not compatible with our current codebase
There is quite some magic in to vscode URI class related to
transferring via JSON.stringify(). Making the CodeURI instance
makes sure we transfer this object as a vscode-uri URI.
This is an implementation of #theia.Uri based on vscode-uri. This is supposed to fix https://github.com/eclipse-theia/theia/issues/8752 We cannot simply upgrade the dependency, because the current version 3.x is not compatible with our current codebase