throw new XPathException(this, ErrorCodes.FORG0008,
"Operands have different timezones", argsSeq);
}
}
}
String dtv = ((DateTimeValue)dv.convertTo(Type.DATE_TIME)).getTrimmedCalendar().toXMLFormat();
if (dv.getTimezone().isEmpty()) {
dtv = dtv.substring(0, dtv.length() - 8);
result = new DateTimeValue(dtv + tv.getStringValue());