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"> +