annotation.setDescription(element.attributeValue("role"));
String role = element.attributeValue("role"); if (role != null) annotation.setDescription(role);
		public XMLConvertible fromElement(Element element) throws DocumentException {			try {				String className = element.attributeValue("classname");				int startLine = Integer.parseInt(element.attributeValue("start"));				int endLine = Integer.parseInt(element.attributeValue("end"));				SourceLineAnnotation annotation = new SourceLineAnnotation(className, startLine, endLine);				annotation.setDescription(element.attributeValue("role"));				return annotation;			} catch (NumberFormatException e) {				throw new DocumentException("Invalid attribute value: " + e.toString());			}		}