Update run_HotSpot.sh