181182183184185186187
} private DateType parseDateType(Element e) { String pattern = XmlReaderUtil.getElementString(e, "pattern"); return new DateType(e.getAttribute("name"), pattern); }
176177178179180181182