change jetty default config