Replace TextMatcher in favor of extended StringMatcher#2672

vogella merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

ptziegler:replace-text-matcher-with-string-matcherptziegler/eclipse.platform.ui:replace-text-matcher-with-string-matcherCopy head branch name to clipboard