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