commit 4a9d4f8238fe335f2c71e1f3d9cc9e6ed174eccb
author Thomas Wolf <thomas.wolf@paranor.ch> Fri May 22 13:53:48 2020 +0200
committer Thomas Wolf <thomas.wolf@paranor.ch> Sun Jul 05 12:16:04 2020 +0200
tree b6576a0eb8ff7b6b1e6298e84ac87bc5517a8e5b
parent a6b27ba62d0ca1feab6e6ac684be13d0e39ff874

Bug 563485 - Use TextMatcher instead of StringMatcher

TextMatcher is a newer and leaner re-implementation of StringMatcher
providing exactly the same functionality. TextMatcher can be used as
a drop-in replacement; StringMatcher will be removed once this
replacement is done.

Note that both StringMatcher and TextMatcher are *internal* classes
in org.eclipse.ui.workbench and are available here via the re-export
in org.eclipse.ui.

Change-Id: I4d2f88ce8ad7eebd6a69e6921e72d2c457686667
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>