int end = endOffset; if (end < 0) end = super.getEndOffset(); return end;
Element el = getElement(); int offs; if (length > 0) offs = el.getStartOffset() + offset + length; else offs = el.getEndOffset(); return offs;
  public int getEndOffset()  {    int end = endOffset;    if (end < 0)      end = super.getEndOffset();    return end;  }