org.openstreetmap.josm.actions.search.SearchAction.escapeStringForSearch(key)).append("\"=\"").append(
org.openstreetmap.josm.actions.search.SearchAction.escapeStringForSearch(val)).append("\")");
sep = " OR ";
}
SearchSetting ss = new SearchSetting(s.toString(), SearchMode.replace, true, false, false);
org.openstreetmap.josm.actions.search.SearchAction.searchWithoutHistory(ss);
}