pluginName=Eclipse Workbench User Guide
providerName=Eclipse.org