return getNextRightHit(offset, DEFAULT_CARET_POLICY);
throw new Error ("not implemented");
  public TextHitInfo getNextRightHit (int offset)  {    return getNextRightHit(offset, DEFAULT_CARET_POLICY);  }