}
public void start(ExtensionPointRegistry extensionPointRegistry) {
// Register a Jetty servlet host
ServletHostExtensionPoint servletHosts =
extensionPointRegistry.getExtensionPoint(ServletHostExtensionPoint.class);
WorkScheduler workScheduler = extensionPointRegistry.getExtensionPoint(WorkScheduler.class);
server = new JettyServer(workScheduler);
servletHosts.addServletHost(server);
server.init();
}