org.eclipse.papyrus.designer.monitoring.prefs.ui.source