git.eclipse.org / servertools / webtools.servertools / 7825440419475bd06f1c961ff5b0ee0c95de9168 / features / org.eclipse.wst.server_userdoc.feature / feature.properties