Use ExecutorService for our server thread pool.