git.eclipse.org / servertools / webtools.servertools / eff74fa0594e09687e8b9f5c92edbe0ece966551 / plugins / org.eclipse.wst.server.preview / .settings / org.eclipse.core.resources.prefs