git.eclipse.org / sourceediting / webtools.sourceediting / 587116da068e5c48a362d0418cbf341b30b7229c / docs / org.eclipse.wst.xmleditor.doc.user / .project