diff --git a/ webgoat/main/eclipse.bat b/ webgoat/main/eclipse.bat index 05c59d7d0..876f5f7c3 100644 --- a/ webgoat/main/eclipse.bat +++ b/ webgoat/main/eclipse.bat @@ -1,8 +1,8 @@ ECHO OFF IF NOT EXIST workspace GOTO UNPACK -set JAVAHOME= java +set JAVAHOME=java set PATH=%JAVAHOME%\bin;%PATH% -set ECLIPSE_HOME= eclipse +set ECLIPSE_HOME=eclipse SET JAVA_OPTS=%JAVA_OPTS% -Xms128m -Xmx768m %ECLIPSE_HOME%\eclipse.exe -data .\workspace