[PATCH] Fix for problem with ANT.BAT if JAVA_HOME contains a space

[St...@trilogy.com]

Hi *,

I had the problem that my JAVA_HOME pointed to a directory that had a space
in its path. Therefore the automatic addition of <JAVA_HOME>\lib\tools.jar
to the classpath didn't work. I changed this in the accompanying new batch
file. The main controversial design decision I made, is that I put quotes
around the text I add to the classpath. This required to remove the quotes
around the argument "LOCALCLASSPATH" for the start of Java.  The other way
to implement the required functionality would have been to change LCP.BAT
so that it adds all its parameters to LOCALCLASSPATH as one new component.
If this solution is preferred, I can provide a new version.

Stefan

PS: Sorry, don't have diff here at the moment, so attached is the full
version.

(See attached file: ant.bat)
--
Stefan Kuehnel, http://www.trilogy.com/