Update SortedSequence.java