[bugfix] Fix jetty settings: do not globally change configuration for

all contexts. Causes some servlets to be initialized multiple times.