summaryE = doc.getDocumentElement().addElement(XML.SUMMARY_NAME);
} else {
summaryE = doc.getDocumentElement().addElement(0,XML.SUMMARY_NAME);
}
}
summaryE.clear();
summaryE.addCharacters(text);
}
public Map<URI,Term> getTerms() {
return terms==null ? null : Collections.unmodifiableMap(terms);