Update KMPMatcher.java