case XSD_INTEGER:
case XSD_NON_NEGATIVE_INTEGER:
if(useSimpleInts) {
res = new IntegerLiteral(Integer.parseInt(literal));
} else {
res = new BigIntegerLiteral(new BigInteger(literal));
}
break;
case XSD_DATE_TIME:
res = new DateLiteral(DatatypeConverter.parseDateTime(literal));
break;