@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):
Code:
@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