switch from a list to a HashSet for serialization tokens