TreeSet is misleading