[gwt-contrib] Re: Fix 'ant dist-dev' and 'ant-doc' builds: (issue953801)

[rice]

http://gwt-code-reviews.appspot.com/953801/show

--
http://groups.google.com/group/Google-Web-Toolkit-Contributors