if (isUnknown()) return;
	private void appendLines(StringBuffer buf) {		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(']');	}