windows run.bat also works with system jvm