Configuring jetty for travis