String best_shorttext_a = "", best_shorttext_b = ""; while ((j = shorttext.indexOf(seed, j + 1)) != -1) { int prefixLength = diffCommonPrefix(longtext.substring(i), shorttext.substring(j)); int suffixLength = diffCommonSuffix(longtext.substring(0, i),
int commonlength = diffCommonPrefix(text1, text2); String commonprefix = text1.substring(0, commonlength); text1 = text1.substring(commonlength);
commonlength = diffCommonPrefix(text_insert, text_delete); if (commonlength != 0) { if (pointer.hasPrevious()) {