fix download-jetty-runner exec