如何更改 SuperDevMode 的行为以使其在 Github Codespaces 上运行

Question

通过 Jetty 服务器运行 GWT 应用程序时：

./mvnw jetty:run -pl app-server -am -Denv=dev

在 Github Codespaces 的容器内，它自动做一个代理来将内部端口转发到外部世界，例如：

https://{username}-humble-couscous-{some-id}-8081.preview.app.github.dev/

现在，当此页面加载时，它会尝试在端口

9876

加载 SuperDev 模式，如下所示：

https://{username}-humble-couscous-{some-id}-8081.preview.app.github.dev:9876

但是，端口

9876

被代理到不同的 URL，比如

https://{username}-humble-couscous-{some-other-id}-9876.preview.app.github.dev

现在我想问一下是否有办法在 Maven 中更改 SDM 的行为，因为该项目将从给定代理或类似的东西中加载 SDM。