@echo off
SETLOCAL
if NOT DEFINED JAVA_HOME goto err
set SCRIPT_DIR=%~dp0
for %%I in (“%SCRIPT_DIR%..”) do set REDPEN_HOME=%%~dpfI
set REDPEN_CLASSPATH=%REDPEN_HOME%/conf;%REDPEN_HOME%/lib/* set JAVA_OPTS=%JAVA_OPTS%
“%JAVA_HOME%binjava” %JAVA_OPTS% -classpath “%REDPEN_CLASSPATH%” cc.redpen.Main %* goto finally
:err echo Error: JAVA_HOME is not defined. Can not start RedPen pause
:finally ENDLOCAL