Handling of new annotation synchronized-properties