return pattern.getRE().substituteAll(input, replacement, position);
return pattern.getRE().substituteAll(input, replacement, position, RE.REG_REPLACE_USE_BACKSLASHESCAPE);
  public String replaceAll (String replacement)  {    reset();    return pattern.getRE().substituteAll(input, replacement, position);  }