hello, edit box doesnt work anymore with v2020-09 Caused by: java.lang.ClassNotFoundException: org.eclipse.ui.internal.misc.StringMatcher cannot be found by pm.eclipse.editbox_1.0.0.201804021412 `org.eclipse.ui.internal.misc.StringMatcher` as been refactor in `org.eclipse.ui.internal.misc.TextMatcher`