Community
Participate
Working Groups
When deleting a mapping, if it's referenced in a DirectEditLabel.mappings, it's not deleted from DirectEditLabel.mappings.
The direct edit mapping is referenced by the mapping it self and not by the direct edit tool. So when deleting the mapping, there is no more persisted reference. In this case it's the DirectEditLabelImpl#getMapping() operation that still returns the delete mapping.