public void setRightBorderPageNumber(long rightBorderPageNumber) {
    myRightBorderPageNumber = rightBorderPageNumber;
    callScheduledUpdate();
  }
public void setRightBorderPageNumber(long rightBorderPageNumber)