* desc[3] is matching line;
*/
String[] desc = {tag.symbol, Integer.toString(tag.line), tag.type, tag.text,};
if (in == null) {
if (out == null) {
Hit hit = new Hit(path, Util.htmlize(desc[3]).replace(desc[0], "<strong>" + desc[0] + "</strong>"), desc[1], false, alt);
hits.add(hit);
anything = true;
} else {
out.write("<a href=\"");
out.write(urlPrefixE);