docs: public PooledExecutionServiceConfigurationBuilder pool(String alias, int minSize, int maxSize) {
      PooledExecutionServiceConfigurationBuilder other = new PooledExecutionServiceConfigurationBuilder(this);
      other.pools.add(new Pool(alias, minSize, maxSize));
      return other;
    }