tree 32f9974b49c3edb24508eb71634a92bb305f77f8
parent d1b180110cfd25a84f42a8dbc8717feac5ed35fc
author David Pursehouse <david.pursehouse@sonymobile.com> 1438132321 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1438135667 +0900

Update Jetty to 9.2.12.v20150709

This is a maintenance release including some minor bug fixes [1].

It is not the latest version, but is the latest one that still
works with Java 7.  Later versions (9.3.x) require Java 8.

[1] http://permalink.gmane.org/gmane.comp.ide.eclipse.jetty.devel/2016

Change-Id: I73d6d5528249c6656f05a78007b0b72f0c0efdf7