diff --git a/datastore_server/build/build.xml b/datastore_server/build/build.xml
index 60f1b84a4cc154d8b0362ac606243644296f64e7..db21646ccb0cec557b8e68dda3561daae0aecb08 100644
--- a/datastore_server/build/build.xml
+++ b/datastore_server/build/build.xml
@@ -220,7 +220,7 @@
 	<!-- Add libraries to DSS distribution. -->
 	<target name="add-dss-dist-libs">
   	<copy todir="${dist.datastore_server.lib}" flatten="true">
-  		<fileset dir="${lib}/jetty7/lib">
+  		<fileset dir="${lib}/jetty8/lib">
   		  <include name="common/*.jar" />
   		  <include name="server/*.jar" />
   		</fileset>
diff --git a/openbis/build/build.xml b/openbis/build/build.xml
index 71b0f6c22cb72cd8eeddf7a08d509b677c5d8786..7276bee14fbfc363971639af0605edb76fb74796 100644
--- a/openbis/build/build.xml
+++ b/openbis/build/build.xml
@@ -272,8 +272,9 @@
 
   <target name="make-dist" description="Makes a distribution file." 
   		depends="check-dictionary-syntax, clean, war, admin-console-dist, core-plugins-dist, compute-checksum">
-    <copy file="${lib}/jetty7/jetty.zip" todir="${server.dist}" />
-    <loadfile property="jetty.version" srcFile="${lib}/jetty7/version.txt">
+    <property name="jetty.path" value="${lib}/jetty8" />
+    <copy file="${jetty.path}/jetty.zip" todir="${server.dist}" />
+    <loadfile property="jetty.version" srcFile="${jetty.path}/version.txt">
       <filterchain>
         <striplinebreaks />
       </filterchain>