eclipse / gerrit / papyrus / org.eclipse.papyrus-robotics / 8f0a07d1f6c2cb915a576ccb04f9045ef4385ffd / . / plugins / customization / textedit / org.eclipse.papyrus.robotics.xtext.compdef.ui / src / org / eclipse / papyrus / robotics / xtext / compdef / ui