Upgrade Jetty to 8.x to support Servlet 3.0 / Java 7
Minor non-functional improvements in javadoc and markup