eclipse / sirius / org.eclipse.sirius / refs/tags/v6.2.0 / . / plugins / org.eclipse.sirius.editor.sequence / src / org / eclipse / sirius / diagram / sequence / editor / tools / internal / menu / child