From d5e3edc3d737b29b88246730a11bbc4c66b4bb64 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Sat, 3 Aug 2019 23:45:56 +0200
Subject: [PATCH] rcp: fixing fasten.bat

---
 rcp_resources/bin/fasten.bat | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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.