Revision: 9685
Author: jlaba...@google.com
Date: Tue Feb 8 03:26:09 2011
Log: Removing @Override from interface implementations to maintain Java 1.5
compatibility.
Review at http://gwt-code-reviews.appspot.com/1346801
Review by: sco...@google.com
http://code.google.com/p/google-web-toolkit/source/detail?r=9685
Modified:
/trunk/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
/trunk/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java
=======================================
--- /trunk/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
Mon Feb 7 13:29:15 2011
+++ /trunk/dev/core/src/com/google/gwt/dev/jjs/SourceInfoCorrelation.java
Tue Feb 8 03:26:09 2011
@@ -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);
}
=======================================
--- /trunk/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java Mon Feb 7
13:29:15 2011
+++ /trunk/dev/core/src/com/google/gwt/dev/jjs/SourceOrigin.java Tue Feb 8
03:26:09 2011
@@ -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;
}
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors