Update JettyLauncher.scala