value = StringUtils.join(document.getLanguages(), ',');
} else if (name.equals(PageEnvelope.DOCUMENT_LASTMODIFIED)) {
Date date = document.getLastModified();
value = new SimpleDateFormat(DATE_FORMAT).format(date);
} else if (name.equals(PageEnvelope.DOCUMENT_TYPE)) {
DocumentType resourceType = document.getResourceType();
if (resourceType == null) {
value = null;
}
else {
value = resourceType.getName();
}
}
}
} catch (final DocumentException e) {
throw new ConfigurationException("Getting attribute for name [" + name + "] failed: ",