Removing @Override from interface implementations to maintain Java 1.5 compatibility.

Review at http://gwt-code-reviews.appspot.com/1346801

Review by: scottb@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9685 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java b/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
index 9176f89..64f0a31 100644
--- a/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
+++ b/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
@@ -134,7 +134,6 @@
     return toReturn;
   }
 
-  @Override
   public CorrelationFactory getCorrelationFactory() {
     return RealCorrelationFactory.INSTANCE;
   }
@@ -207,7 +206,6 @@
     return new SourceInfoCorrelation(this, callerName, merge);
   }
 
-  @Override
   public SourceInfo makeChild(SourceOrigin origin) {
     return new SourceInfoCorrelation(this, origin);
   }
diff --git a/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java b/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java
index 555c503..28839cb 100644
--- a/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java
+++ b/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java
@@ -149,7 +149,6 @@
     return Collections.emptyList();
   }
 
-  @Override
   public CorrelationFactory getCorrelationFactory() {
     return DummyCorrelationFactory.INSTANCE;
   }
@@ -201,7 +200,6 @@
     return this;
   }
 
-  @Override
   public SourceInfo makeChild(SourceOrigin origin) {
     return origin;
   }