pluginName=Eclipse Java Development User Guide
providerName=Eclipse.org
