JEB 4.18

[tonyweb]

@Mendax47
Create a new [simpler] batch file in main folder (next to jeb_wincon.bat) so it will always use the actual JAVA_HOME you set (change in the file accordingly):

@echo off

rem Start-up script for JEB (Windows Console)
set JVMOPT=
if exist "%~dp0jvmopt.txt" set /p JVMOPT=<"%~dp0jvmopt.txt"
rem Manual override for JVM options: uncomment the following line and adjust if necessary
rem set JVMOPT=-Xss4M -Xmx8G

rem *** CHANGE YOUR JAVA_HOME HERE ***
set JAVA_HOME="D:\Programs\JDK 13"
set JAVA=%JAVA_HOME%\bin\java.exe

%JAVA% %JVMOPT% -jar "%~dp0bin\app\jebc.jar" %*

pause

Make sure you point to a 64-bit JVM.
Hope this helps.

Regards,
Tony