void set(long newPageNumber, int newVerticalScrollBarOffset) {
    this.pageNumber = newPageNumber;
    this.verticalScrollOffset = newVerticalScrollBarOffset;
  }
void set(long newPageNumber, int newVerticalScrollBarOffset)