docs: public PerfCounter getStatistics(String... procedures)
      {
          PerfCounterMap map = ClientConnectionPool.getStatistics(this);
          PerfCounter result = new PerfCounter(false);
          for(String procedure : procedures)
              result.merge(map.get(procedure));
          return result;
      }