diff -r 8c4a6d9b8a23 -r ec84ba68ad39 make/build.xml
--- a/make/build.xml Thu Jul 04 17:28:04 2013 +0200
+++ b/make/build.xml Fri Jul 05 14:38:04 2013 +0530
@@ -100,7 +100,8 @@
target="${javac.target}"
debug="${javac.debug}"
encoding="${javac.encoding}"
- includeantruntime="false">
+ includeantruntime="false" fork="true">
+