Marius: I agree with your comments, but this change has actually been
merged already (despite not being closed here).
Please file an issue and possibly provide a patch (preferably to Gerrit
rather than Rietveld)
As for the reasons of the method overrides, it probably has to do with
this:
LGTM
As long as you put a more description comment in the IE9 tabIndex impl
http://gwt-code-reviews.appspot.com/1383809/diff/4001/user/src/com/google/gwt/dom/client/DOMImplIE9.java
File user/src/com/google/gwt/dom/client/DOMImplIE9.java (right):
http://gwt-code-reviews.appspot.com/1383809/diff/1/user/src/com/google/gwt/user/client/ui/CheckBox.java
File user/src/com/google/gwt/user/client/ui/CheckBox.java (right):
http://gwt-code-reviews.appspot.com/1383809/diff/1/user/src/com/google/gwt/user/client/ui/CheckBox.java#newcode88