From f4519c0aa35d507fd54664fbdcacacc8240815ed Mon Sep 17 00:00:00 2001
From: David Ostrovsky <david@ostrovsky.org>
Date: Tue, 17 Jun 2014 14:44:08 +0200
Subject: [PATCH] Update Jetty version to 9.2.1.v20140609

The Jetty 9.2 quick start mechanism provides almost an order of
magnitude improvement in start time [1].

[1] https://webtide.com/jetty-9-quick-start/
---
 build.moxie | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.moxie b/build.moxie
index 6f4db12e..7b06deda 100644
--- a/build.moxie
+++ b/build.moxie
@@ -101,7 +101,7 @@ repositories: central, eclipse-snapshots, eclipse
 
 # Convenience properties for dependencies
 properties: {
-  jetty.version  : 9.1.4.v20140401
+  jetty.version  : 9.2.1.v20140609
   wicket.version : 1.4.21
   lucene.version : 4.6.0
   jgit.version   : 3.3.1.201403241930-r
-- 
2.39.5