Bump Jetty version to stable 9.1 and Servlet API to 3.1

Change-Id: Ic6a374afa978e66ec1a04a2b39801da158ba31d7
2014-01-04 22:25:01 +01:00
parent 1bcb2ca180
commit e01d9b7f20
10 changed files with 22 additions and 22 deletions
--- a/gerrit-pgm/BUCK
+++ b/gerrit-pgm/BUCK
@@ -110,7 +110,7 @@ java_library2(
    '//lib:guava',
    '//lib:gwtorm',
    '//lib:h2',
-    '//lib:servlet-api-3_0',
+    '//lib:servlet-api-3_1',
    '//lib/guice:guice',
    '//lib/guice:guice-servlet',
    '//lib/jetty:server',