http://gwt-code-reviews.appspot.com/1312801/diff/3001/4004 File dev/core/src/com/google/gwt/dev/jjs/ast/JInterfaceType.java (right):
http://gwt-code-reviews.appspot.com/1312801/diff/3001/4004#newcode36 dev/core/src/com/google/gwt/dev/jjs/ast/JInterfaceType.java:36: return null; Yes, but super interfaces are handled through JDeclaredType.getImplements(). The Java language is slightly misleading in that classes "extend" class and "implement" interfaces, whereas interfaces "extend" interfaces -- but the latter means essentially "implements". http://gwt-code-reviews.appspot.com/1312801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
