[statet-dev] [CI] Build 'statet-main' #230 (202311131530 / commit f8b26e

[ci-admin@xxxxxxxxxxx]

Build 'statet-main' #230 (202311131530 / commit f8b26e1c)
https://ci.eclipse.org/statet/job/statet-main/230/
Result state: SUCCESS

### Changes

  * [Releng] Update to Maven 3.9.5; Update Maven plugins
  * Update target definitions to Eclipse 2023-12-dev (Platform M3)
  * [R-Help] Adapt R help to Jetty 12 (Jakarta EE 8)
  * [R-Help] Add support for Jakarta EE 10 to R help
  * CleanUp: Tweak String handling
  * [IO, Runtime] Rework handling of JAR URLs to support 'jar:nested:' URL
  * [R-Help] Update R help server to Spring Boot 3.2 with Jakarta EE 10
  * [R-Model] Rework serialization of R elements

### Deployed to

  * Downloads:  https://download.eclipse.org/statet/integration/4.9/latest
  * Maven repo: https://repo.eclipse.org/content/repositories/statet-snapshots