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 \\\\ -Djetty.home=$JETTY_HOME \\\\ -Djava.io.tmpdir" flags="m"
+ replace="-Djetty.home=$JETTY_HOME \\\\ -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 set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djetty.home="%KERNEL_HOME%\\\\jetty" 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" set KERNEL_JAVA_PARMS=%KERNEL_JAVA_PARMS% -Djava.io.tmpdir="%TMP_DIR%"' flags="m"
file="${jetty.server.scripts}/bin/dmk.bat" />
</target>