Jetty Setup

---

Summary

Things to do after apt-get install jetty.

---

Detail

In /etc/jetty/webdefault.xml, change welcomeServlets to true. This lets a servlet handle index.dir as the welcome file if there is no index.htm.