| commit | 92139450f18883b522e830973009712af2693fd5 | [log] [tgz] |
|---|---|---|
| author | rjrjr@google.com <rjrjr@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Jan 28 00:01:17 2011 +0000 |
| committer | rjrjr@google.com <rjrjr@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Jan 28 00:01:17 2011 +0000 |
| tree | f9d15a7cc6db957d2f80530b98b047d97464be9d | |
| parent | 58ddf6b7652dd84d0bdfc0bf0b80caeec54959dd [diff] |
Snipping JRE 1.5 hostile Override annotations from UserAgentAsserter patch. We only just deprecated 1.5, need to be friendly for one more relese. Review at http://gwt-code-reviews.appspot.com/1334801 Review by: fredsa@google.com git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9646 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/client/UserAgentAsserter.java b/user/src/com/google/gwt/user/client/UserAgentAsserter.java index 8a87992..5f04303 100644 --- a/user/src/com/google/gwt/user/client/UserAgentAsserter.java +++ b/user/src/com/google/gwt/user/client/UserAgentAsserter.java
@@ -34,11 +34,10 @@ */ interface UserAgentProperty { String getCompileTimeValue(); - + String getRuntimeValue(); } - - @Override + public void onModuleLoad() { UserAgentProperty impl = GWT.create(UserAgentProperty.class); String compileTimeValue = impl.getCompileTimeValue();
diff --git a/user/src/com/google/gwt/user/rebind/UserAgentPropertyGenerator.java b/user/src/com/google/gwt/user/rebind/UserAgentPropertyGenerator.java index 329a3c9..9197e99 100644 --- a/user/src/com/google/gwt/user/rebind/UserAgentPropertyGenerator.java +++ b/user/src/com/google/gwt/user/rebind/UserAgentPropertyGenerator.java
@@ -92,7 +92,6 @@ body.println("return 'unknown';"); } - @Override public String generate(TreeLogger logger, SortedSet<String> possibleValues, String fallback, SortedSet<ConfigurationProperty> configProperties) { for (String value : possibleValues) {