HyPeerWeb now uses a TreeMap, rather than TreeSet