Re: TreeMap.navigableKeySet().descendingIterator() sequence ?