Artifacts of gmf-notation-master #213