if (isSourceFileKnown()) element.addAttribute("sourcefile", sourceFile);
	public Element toElement(Branch parent) {		Element element = parent.addElement(ELEMENT_NAME)			.addAttribute("classname", getClassName())			.addAttribute("start", String.valueOf(getStartLine()))			.addAttribute("end", String.valueOf(getEndLine()));		String role = getDescription();		if (!role.equals(DEFAULT_ROLE))			element.addAttribute("role", getDescription());		return element;	}