ObservableSet made serializable