/** Returns the number of reads since the last time this method was called. */
public int getAndResetNReads() {
return window.getAndResetNReads();
}
/** Returns the number of reads since the last time this method was called. */
public int getAndResetNReads() {
return window.getAndResetNReads();
}
