revise the JettyServer