Eclipse content parametersEclipse content
args.eclipse.providerThe provider name of the eclipse help output.args.eclipse.versionThe version number of the eclipse help output. Tip: The toolkit ignores the value of this property when processing an Eclipse Collection Map, eclipse.dtd.args.eclipsecontent.tocSpecifies the name of the TOC file.