fixing HashSet deserialisation