plugin_name=JGit Java 7 Support
provider_name=Eclipse JGit