727728729730731732733734735736737
} else if (rs instanceof HashJoinResultSet) { HashJoinResultSet hjrs = (HashJoinResultSet) rs; return new RealHashJoinStatistics( hjrs.numOpens, hjrs.rowsSeen, hjrs.rowsFiltered, hjrs.constructorTime, hjrs.openTime,
728729730731732733734735736737738
747748749750751752753754755756757
729730731732733734735736737738739
722723724725726727728729730731732