Hi, I wonder why String#indexOf(String) is implemented as it is. Apparently, when a character mismatch with the searched pattern is found, the pattern is only shifted by one character, but there are faster algorithms, for example see http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/index.html. Was anything smarter tried out but had significant disadvantages for general use? What advantages does the current implementation have? It looks very pessimistic.
Regards, Dimitris Andreou
