use SharedJettyLauncher to avoid starting many Jettys