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;
}