void pushBack() throws IOException {
  iis.seek(iis.getStreamPosition() - bufAvail);
  bufAvail=0;
  bufPtr=0;
}

void pushBack ( ) throws IOException { iis . seek ( iis . getStreamPosition ( ) - bufAvail ) ; bufAvail = 0 ; bufPtr = 0 ; }
push back the remaining contents of the buffer by repositioning the input stream .
