From 94fd4a696f75ac83412e971bfceca0e531ea2196 Mon Sep 17 00:00:00 2001
From: Juergen Hoeller <jhoeller@pivotal.io>
Date: Mon, 21 Nov 2016 17:20:55 +0100
Subject: [PATCH] Downgrade to Jetty 9.4 RC1 (since RC2 has broken HEAD
 handling)

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 596aaafad2..daa83c9753 100644
--- a/build.gradle
+++ b/build.gradle
@@ -58,7 +58,7 @@ configure(allprojects) { project ->
 	ext.jaxbVersion            = "2.2.11"
 	ext.jaxwsVersion           = "2.2.11"
 	ext.jcaVersion             = "1.7"
-	ext.jettyVersion           = "9.4.0.RC2"
+	ext.jettyVersion           = "9.4.0.RC1"  // RC2 has broken HEAD handling
 	ext.jmsVersion             = "2.0.1"
 	ext.jodaVersion            = "2.9.6"
 	ext.jpaVersion             = "2.1.1"