public String display(String displayPattern) {
String ret = displayPattern;
String codeString = StringOperations.extractFirst(ret, "<\\w+>");
while (codeString != null) {
PatternCode code = DateDecoder.PatternCode.valueOf(codeString.substring(1, codeString.length()-1));
String encodedElement;
switch (code) {
case dd: {
encodedElement = Integer.toString(date.get(Calendar.DAY_OF_MONTH));
if (encodedElement.length() == 1) {