Update Jetty to 9.4.58.v20250814

[Lonzak]

This pull requests updates the jetty libraries due to a security issue. I know that gwt-dev is not for production code however explain this to the security guys ;-)

There is a related PR in the gwt-tools project as well.

Please note, that the checks are failing since the libs are missing from the gwt-tools project. I think there is no way to link both project's here.

[niloc132]

Thanks! You can temporarily edit the .github/ yml files to point to your own tools branch, so that this PR can be reviewed on its own, help validate the changes in tools.

[Lonzak]

Ok this was new to me - but got it working...

[zbynek]

Not sure how important it is to keep the Eclipse config up to date:
https://github.com/gwtproject/gwt/blob/main/eclipse/dev/.classpath
(some dependency PRs update it, others don't)

[zbynek]

(ready label is just to get a full test run on this, obviously this can be only merged after gwtproject/tools#38)

[Lonzak]

Not sure how important it is to keep the Eclipse config up to date: https://github.com/gwtproject/gwt/blob/main/eclipse/dev/.classpath (some dependency PRs update it, others don't)

Thanks - missed that. Already fixed.

[niloc132]

Looks good so far, thanks for doing this. I've merged the tools change, so the CI tweaks can be reverted and we can land this?

[Lonzak]

Yes I would say so...

[niloc132]

With these reverted, I think we can do another build and merge?