git.eclipse.org / servertools / webtools.servertools / 200a52257caf8d0dd0730b85f3197f3062c211b3 / plugins / org.eclipse.wst.server.preview.adapter / .settings / org.eclipse.core.resources.prefs