GWTII-263: configurable thread pool size