From 0cd3f1dfd7296f57d10c8ca25834d9d96ff2cffd Mon Sep 17 00:00:00 2001
From: Jan Bartel <janb@intalio.com>
Date: Wed, 11 Mar 2015 18:15:39 +1100
Subject: [PATCH] Add infinispan session mgr to distro

---
 jetty-distribution/pom.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/jetty-distribution/pom.xml b/jetty-distribution/pom.xml
index 82087b0ab92..dea431b4720 100644
--- a/jetty-distribution/pom.xml
+++ b/jetty-distribution/pom.xml
@@ -783,5 +783,10 @@
       <artifactId>jetty-jaspi</artifactId>
       <version>${project.version}</version>
     </dependency>
+    <dependency>
+      <groupId>org.eclipse.jetty</groupId>
+      <artifactId>jetty-infinispan</artifactId>
+      <version>${project.version}</version>
+    </dependency>
   </dependencies>
 </project>