Removing uneeded startup option
diff --git a/build-jetty-server/build.xml b/build-jetty-server/build.xml
index fafb23a..d3518ff 100644
--- a/build-jetty-server/build.xml
+++ b/build-jetty-server/build.xml
@@ -239,11 +239,11 @@
 			file="${jetty.server.scripts}/bin/dmk.sh" />
 
 		<replaceregexp match="-Djava.io.tmpdir"
-			replace="-Djetty.homeexport \\\\&#10;       -Djetty.home=$JETTY_HOME \\\\&#10;       -Djava.io.tmpdir" flags="m"
+			replace="-Djetty.home=$JETTY_HOME \\\\&#10;       -Djava.io.tmpdir" flags="m"
 			file="${jetty.server.scripts}/bin/dmk.sh" />
 		
 		<replaceregexp match='set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djava.io.tmpdir="%TMP_DIR%"'
-			replace='set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djetty.homeexport&#10;    set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djetty.home="%KERNEL_HOME%\\\\jetty"&#10;    set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djava.io.tmpdir="%TMP_DIR%"' flags="m"
+			replace='set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djetty.home="%KERNEL_HOME%\\\\jetty"&#10;      set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djava.io.tmpdir="%TMP_DIR%"' flags="m"
 			file="${jetty.server.scripts}/bin/dmk.bat" />
     </target>