annotation.setDescription(element.attributeValue("role"));
String role = element.attributeValue("role"); if (role != null) annotation.setDescription(role);
		public XMLConvertible fromElement(Element element) throws DocumentException {			try {				int value = Integer.parseInt(element.attributeValue("value"));				IntAnnotation annotation = new IntAnnotation(value);				annotation.setDescription(element.attributeValue("role"));				return annotation;			} catch (NumberFormatException e) {				throw new DocumentException("Bad attribute value: " + e.toString());			}		}