add  jetty for building on jenkins