From 56fdbadc7698be8e35d91787d1241804686edd6c Mon Sep 17 00:00:00 2001
From: Matthias Sohn <matthias.sohn@sap.com>
Date: Wed, 30 Jul 2014 23:07:13 +0200
Subject: [PATCH] Remove @Override annotation illegal for interfaces on Java 5

Bug: 440757
Change-Id: I11897e8e680722313f28d9d241e23e92eddeb966
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
---
 org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java b/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java
index 95ab1aa595..e506f2b056 100644
--- a/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java
+++ b/org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java
@@ -297,7 +297,6 @@ public class RepoCommand extends GitCommand<RevCommit> {
 			return false;
 		}
 
-		@Override
 		public int compareTo(Project that) {
 			return this.getPathWithSlash().compareTo(that.getPathWithSlash());
 		}
-- 
2.39.5