public int getInternalSequentialThreadPoolSize() {
   return serverConfig.getInternalSequentialThreadPoolSize();
 }