diff --git a/pom.xml b/pom.xml
index 1c4daea1d5..1685febf12 100755
--- a/pom.xml
+++ b/pom.xml
@@ -1618,5 +1618,11 @@
         </plugins>
       </build>
     </profile>
+    <profile>
+        <id>jetty9</id>
+        <properties>
+            <jetty-version>${jetty9-version}</jetty-version>
+        </properties>
+    </profile>
   </profiles>
 </project>