plugin_name=JGit Console User Interface provider_name=Eclipse.org