git.eclipse.org / webtools / webtools.releng / f6f2fa26c7e060e17e0907164250dd11c4b2e52e / org.eclipse.wtp.releng.webupdatesite / .settings / org.eclipse.jst.common.project.facet.core.prefs