private int adjustForwardLeanRight(int pos) {
      if (pos < offset) return pos;
      if (pos <= offset + oldLength) return offset + newLength;
      return pos - oldLength + newLength;
    }
private int adjustForwardLeanRight(int pos)