fix PR: do not reuse an existing jetty server