Changed JettyLauncher to support new controllers.