diff --git a/rcp_resources/bin/fasten.bat b/rcp_resources/bin/fasten.bat index 753af2158..cfd7cf4ec 100644 --- a/rcp_resources/bin/fasten.bat +++ b/rcp_resources/bin/fasten.bat @@ -61,8 +61,8 @@ IF NOT "%JDK%" == "" GOTO check IF EXIST "%JAVA_HOME%" SET JDK=%JAVA_HOME% :check -SET JAVA_EXE=%JDK%\bin\java.exe -IF NOT EXIST "%JAVA_EXE%" SET JAVA_EXE=%JDK%\jre\bin\java.exe +SET JAVA_EXE=%JDK%\bin\javaw.exe +IF NOT EXIST "%JAVA_EXE%" SET JAVA_EXE=%JDK%\jre\bin\javaw.exe IF NOT EXIST "%JAVA_EXE%" ( ECHO ERROR: cannot start JetBrains MPS. ECHO No JDK found. Please validate either MPS_JDK, JDK_HOME or JAVA_HOME points to valid JDK installation.