synchronized critical part in LabelingMapping
synchronized critical part in LabelingMapping
Merge branch 'master' into knip