}
// Validate that the element has content that is non-whitespace
Iterator contents = element.getContent().iterator();
if (!contents.hasNext()) {
ErrorDetails details = new ErrorDetails(element, new XPath(element),
null, FaultTypes.WHITESPACE, null, null);
errorReporter.reportError(details);
} else {
do {
Object content = contents.next();
if (content == null || ((Text) content).getText().trim().
length() == 0) {
ErrorDetails details = new ErrorDetails(element, new XPath(element),
null, FaultTypes.WHITESPACE, null, null);
errorReporter.reportError(details);
}
} while (contents.hasNext());
}