Fix IntervalDatum.java