fix PersistentSet bug and add AutoIncrementGenerator