Use JettyLauncher instead