plugin_name=JGit Console User Interface
provider_name=Eclipse.org
