buf.append(className);
buf.append(sourceFile);
	public String format(String key) {		if (key.equals("")) {			StringBuffer buf = new StringBuffer();			buf.append(className);			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(']');			return buf.toString();		} else			throw new IllegalStateException("Unknown format key " + key);	}