WebAppContext.setExtraClasspath(String) entry separator

[GaryWKeim]

Jetty version(s)
12.0.27

Jetty Environment
ee10

Java version/vendor (use: java -version)
openjdk version "21.0.7" 2025-04-15 LTS
OpenJDK Runtime Environment Zulu21.42+19-CA (build 21.0.7+6-LTS)
OpenJDK 64-Bit Server VM Zulu21.42+19-CA (build 21.0.7+6-LTS, mixed mode, sharing)

OS type/version
MacOS 26.0 (25A354)

Description
WebAppContext.setExtraClasspath(String) is documented to allow for comma or semi-colon as path separators, but seems to now actually require File.pathSeparator. Not a hard change but surprised that it came in a dot-release.

How to reproduce?
I found it in the Terracotta Management Server tests.

[janbartel]

Ah yes, sorry about that, my bad. But good motivations :) I'd prefer just to update the javadoc to match the (new) impl.

[GaryWKeim]

I have no problem with that... updating the docs.