Shouldn't com.google.gwt.resources.ext.DefaultExtensions have been included in this patch?
http://gwt-code-reviews.appspot.com/61802 --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
