Having non-synchronized
terminals and Terminals doesn't make sense. Just remove terminals field. If you want to have Terminals public setter (to set a whole new collection from other VM?), then it needs to be a full property with notification.
