git.eclipse.org / servertools / webtools.servertools / 200a52257caf8d0dd0730b85f3197f3062c211b3 / plugins / org.eclipse.wst.server.discovery / .settings / org.eclipse.jdt.core.prefs