Adapt to Jetty 7.3 API change coming with Indigo

Indigo comes with Jetty 7.3 bringing some API changes. This still
works with Jetty 7.1.6 shipped with Helios.

Change-Id: If4f9d6ef6b45c94f8bb097f8b02c10317b47547b
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>

org.eclipse.jgit.junit.http/src/org/eclipse/jgit/junit/http/RecordingLogger.java

@@ -183,4 +183,8 @@ public class RecordingLogger implements Logger {
 	public void debug(Throwable thrown) {
 		// Ignore (not relevant to test failures)
 	}
+
+	public void ignore(Throwable arg0) {
+		// Ignore (not relevant to test failures)
+	}
 }