Just want to submit a simple patch for using jde-ant.
Simply use the delimiter that is pre-determined depending on platform
for the ant.home parameter.
I hope the new build system is merged into trunk and this will be
checked in there instead of into the branch. :)
Phuah Yee Keat