git.eclipse.org / sourceediting / webtools.sourceediting / b64212b40d9c8c18865a6034ed1f27ebf0fbca72 / bundles / org.eclipse.wst.xsd.ui / .settings / org.eclipse.core.resources.prefs