diff --git a/org.eclipse.jgit.junit.http/src/org/eclipse/jgit/junit/http/AppServer.java b/org.eclipse.jgit.junit.http/src/org/eclipse/jgit/junit/http/AppServer.java
index a66348452..9ef4068cc 100644
--- a/org.eclipse.jgit.junit.http/src/org/eclipse/jgit/junit/http/AppServer.java
+++ b/org.eclipse.jgit.junit.http/src/org/eclipse/jgit/junit/http/AppServer.java
@@ -185,10 +185,12 @@ protected void loadUsers() throws IOException {
 			putUser(username, new Password(password), new String[] { role });
 		}
 
+		@Override
 		protected String[] loadRoleInfo(KnownUser user) {
 			return null;
 		}
 
+		@Override
 		protected KnownUser loadUserInfo(String usrname) {
 			return null;
 		}