git.eclipse.org / servertools / webtools.servertools / 59973f56091d45398079b669826d907a5850076e / plugins / org.eclipse.jst.server.preview.adapter / .settings / org.eclipse.core.resources.prefs