Changes to run.bat and run.sh to deal with changed jar name.