if (startLine == endLine) { buf.append("line "); buf.append(startLine); } else { buf.append("lines "); buf.append(startLine); buf.append('-'); buf.append(endLine); }
appendLinesRaw(buf);
	private void appendLines(StringBuffer buf) {		if (isUnknown()) return;		buf.append(":[");		if (startLine == endLine) {			buf.append("line ");			buf.append(startLine);		} else {			buf.append("lines ");			buf.append(startLine);			buf.append('-');			buf.append(endLine);		}		buf.append(']');	}