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

Reply via email to