1 
@echo off
2 





3

if ("%JAVA_HOME%") == ("") GOTO ERROR1





4

echo JAVA_HOME is set to "%JAVA_HOME%"





5






6

if NOT EXIST "%JAVA_HOME%\bin\java.exe" GOTO ERROR2





7

"%JAVA_HOME%\bin\java" -Xmx768M -Xms256M -jar core\lib\ant-launcher.jar -lib "%JAVA_HOME%\lib" -lib core\lib -f all\build.xml %*





8

GOTO :END





9






10

:ERROR1





11

echo ERROR: JAVA_HOME is not set.





12

GOTO :HELP





13






14

:ERROR2





15

echo ERROR: JAVA_HOME is set to a wrong value, was expecting "%JAVA_HOME%\bin\java.exe" to exist.





16

GOTO :HELP





17






18

:HELP





19

echo A typical java home is C:\Program Files\Java\jdk1.6.0 (or 'jdk1.6.1' ...)





20

pause





21

GOTO :END





22






23

:END