/org.eclipse.ui.editors/.settings/