--- a
+++ b/third-party/org.eclipse.jgit/plugin.properties
@@ -0,0 +1,2 @@
+plugin_name=JGit Core
+provider_name=Eclipse JGit