git.eclipse.org / servertools / webtools.servertools / fe6e7a8cfb0f115d749196d0e4fc6c0553492d7f / plugins / org.eclipse.wst.server.http.ui / .project