/plugins/developer/org.eclipse.papyrus.dev.ui/.settings/