Holy cow! Given this pass, and the fact that XMLElement#toString still sometimes reaches the error log, I think you should get the line number and (huge) file name out of XMLElement#toString
http://gwt-code-reviews.appspot.com/395801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
