docs: public String replaceFirst(String replacement) {
          if (replacement == null)
              throw new NullPointerException("replacement");
          reset();
          return matcher.replaceFirst(replacement);
      }