Make sure jetty is not running in Travis CI