Thanks, that's gotten me reading the right code; before I couldn't even find the SelectionChangeListener and now I see that it's in HasDataPresenter.
So for this CL, I think we just assume rendering happens when it needs to and update aria-selected (and other attributes) whenever a node gets re-rendered. http://gwt-code-reviews.appspot.com/1776803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors