buf.append(annotation.format("name")); else buf.append(annotation.format(""));
buf.append(annotation.format("name", null)); else buf.append(annotation.format("", null));
	public String getInstanceKey() {		StringBuffer buf = new StringBuffer(type);		for (BugAnnotation annotation : annotationList) {			if (annotation instanceof SourceLineAnnotation) {				// do nothing			} else {				buf.append(":");				if (annotation instanceof LocalVariableAnnotation)					buf.append(annotation.format("name"));				else buf.append(annotation.format(""));			}		}		return buf.toString();	}