963964965966967968969970971972973
} else if (rs instanceof CurrentOfResultSet) { CurrentOfResultSet cors = (CurrentOfResultSet) rs; return new RealCurrentOfStatistics( cors.numOpens, cors.rowsSeen, cors.rowsFiltered, cors.constructorTime, cors.openTime,
964965966967968969970971972973974
10011002100310041005100610071008100910101011
983984985986987988989990991992993
933934935936937938939940941942943