git.eclipse.org / sourceediting / webtools.sourceediting / 63805592452bd53f8e2e2bf035d6d8079190895b / docs / org.eclipse.wst.xsdeditor.doc.user / .settings / org.eclipse.core.resources.prefs