git.eclipse.org / webtools / webtools.releng / 0fb4248777648d6957136a955341222848abd1b8 / assembly / features / org.eclipse.thirdparty.assembly / .settings / org.eclipse.core.resources.prefs