Edits to jetty-javee.xml and what-is-jetty.xml.
Edits to jetty-deploying and what-is-jetty.