git.eclipse.org / servertools / webtools.servertools / 44f5e51acc48458c889eef9a564dca3a9da024f6 / features / org.eclipse.wst.server_core.feature.patch / feature.properties