try to disable automatic reloading of jetty, as it isn't a useful
feature for this context