Description Upgrade the Maven Jetty dependency from 5.1.10 to 5.1.12 to include several bug fixes.
Reason In particular http://jira.codehaus.org/browse/JETTY-70.
Benefits http://jira.codehaus.org/browse/JETTY-70 and other bug fixes.
Drawbacks Eventual side-effects; so far none known.
Additional The reason why to upgrade to only 5.1.12 and not 5.1.15 is that former one is the latest available at http://repo1.maven.org/maven2/jetty/org.mortbay.jetty/.
Resolved in r2678.
Resolved in r2678.