Jetty docs claim on thing, lower-level code does another