Is this really necessary? `null` is equivalent to `server.getThreadPool`, but less explicit. I'd rather be more explicit so that readers can more easily understand what's going on without deep-diving in to Jetty.