> JavaのString.replace("xxx", "yyy")は内部で正規表現使ってるから

Java9から当てはまらない。

https://stackoverflow.com/questions/16228992/commons-lang-stringutils-replace-performance-vs-string-replace

Faster implementation of String.replace(CharSequence, CharSequence)
https://bugs.openjdk.java.net/browse/JDK-8058779

ったく、いちいち知識が古いんだよな
POSIX原理主義者は新しいことを勉強したくんないんだろうなｗ