changing link to IntervalList.java documentation