eclipse / sirius / org.eclipse.sirius / refs/heads/v6.0.x / . / plugins / org.eclipse.sirius.editor.sequence / src / org / eclipse / sirius / diagram / sequence / editor / tools / internal / menu / child