jetty work from batch file