return pattern.getRE().substitute(input, replacement, position);
return pattern.getRE().substitute(input, replacement, position, RE.REG_REPLACE_USE_BACKSLASHESCAPE);
  public String replaceFirst (String replacement)  {    reset();    // Semantics might not quite match    return pattern.getRE().substitute(input, replacement, position);  }