}
private JComponent createFilterField(Border border) {
// HACK: The StringMatcher is identical to the ones
// we use in TreeFilters. Move to a common place.
StringMatcher matcher = new WildcardStringMatcher(false);
String description = "* = any string, ? = any character";
BrowserFilterField field = new BrowserFilterField(browser, matcher, description);
JComponent ui = field.getUi();
ui.setBorder(border);
return ui;