No API in this release is deprecated for removal.
No replacement provided or available. Migrate to jetty-home (and use ${jetty.base} directory).
${jetty.base}
