This commit fixes a long-standing bug in the logic of the Find/Replace machine of DrJava. When searching wraps around the end (or beginning if searching backwards), the machine must search more than the complement of the text already searched because the already searched text may contain a suffix (prefix for backwards searching) of the "find" word that it is searching for. The old code only searched the complement.
