fixed run.bat: uses integrated jre