don't use TreeSet for now, since this doesn't deserialize from an array properly for some reason (stupid gson)