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