TreeSet higher() method in java