git.eclipse.org / servertools / webtools.servertools / 5d065ccb2724920cb41f666d6cffcc2ec5b8c69b / features / org.eclipse.jst.server_userdoc.feature / epl-v10.html