org.eclipse.papyrus.designer.infra.ui